「異星数学」の例を見たい方のために:こちらは無限クラスの「論理的」系の一つで、NAND演算子の公理に似ているが同値ではないが、定理も同様に豊富です。右側は「論理的」定理の例です。

(私は2017年にこの特定の体系と関連するものを詳細に研究し、その定理構造に関するあらゆるメタ特性を発見しました。ただ、「NANDに少し似ているけど、そうでもない」という程度の意味直感はほとんど身につけていません。)