先に公理7の説明で示した通り。)この式は、素朴集合論では、ベン図などによって直感的に理解するだけだった。その場合、数学な厳密さに欠けていた。区体論では、ド・モルガンの法則を、公理から導き出された定理として、厳密な形で得ることができる。定理として知られているものはすべて、区体論の公理系から導き出される。数学を厳密に体系化できるわけだ。区体論は、素朴集合論と同じように、現実世界のものを扱える。公理的集合論のように現実世界のものを排除したりはしない。人間やカラスを一個のアトムとして扱い、それらの包含関係を考えることができる。ここで、思い起こしてみよう。