[例 ９: |S| = 4]

S = {0, 1, 2, 3} 上においては
等項定理の他には
□(0123) が唯一のプリミティブの定義です。

この定義が矛盾しないことは
コンピュータにより確かめましたが
今後の展開のためには矛盾しないことを
数式で示す方法が望ましいです。

どうやったら無矛盾性を示せるでしょうか？