Voor iedereen die nieuwsgierig is naar een voorbeeld van een "buitenaardse wiskunde": hier is er een van een oneindige klasse van "logica-achtige" systemen, met axioma's die vergelijkbaar (maar niet gelijkwaardig) zijn aan die van de NAND-operator, en stellingen die net zo rijk zijn. Aan de rechterkant is een voorbeeld van een "logica-achtige" stelling.

(Ik heb dit specifieke systeem, plus enkele gerelateerde systemen, in 2017 in detail bestudeerd en ontdekte allerlei meta-eigenschappen over de structuur van de stellingen. Maar ik heb nooit echt enige semantische intuïtie voor gehad, behalve "het is een beetje zoals NAND, maar niet echt.")