3次元の領域Ω内に存在する堆積物を適当な層序単元に区分することは, 数学的にみればΩの直和分割を定めることに対応する.このとき, 各層序単元の分布域はそれぞれ直和分割のひとつのブロックに対応する.OとAを2種類の層序区分に対応するΩの直和分割とする.OとAの間にOはAの細分であるという関係が存在するとき, Oが本来もっていた地層としての諸特性がAにおいても保存されるはずである.どのような特性が保存されなければならないのか, またそのためにはどのような条件が必要であるのか?この問題に答えるため, 本論文では地層の最も基本的な特性である「地層累重の法則」を考察する.この法則を“ある地層xが別の地層yの下位にあることをひとつの露頭で観察したとき, xはyより形成時期が古いといえる”という推論規則として定式化し, この法則がOからAに保存されるための必要十分条件は“すべてのOのブロックx, yに対して, xがyより下位にあるならばf(x) はf(y) より形成時期が古いといえることである”ことを証明する.ここで, f(x) とf(y) はそれぞれxとyを含むAのブロックを表す.最終的にこの条件の下でOからA1を, A1からA2を, …, Am-1からAmを順次生成していったとき, すべての層序区分O, A1, A2, …, Amにおいて「地層累重の法則」が成り立つと結論した.以上の結果は地質学の数学的基礎を形式体系の形で確立するための重要な鍵を与える.