Für alle, die neugierig sind, ein Beispiel für eine "außerirdische Mathematik" zu sehen: Hier ist eines aus einer unendlichen Klasse von "logikähnlichen" Systemen, mit Axiomen, die ähnlich (aber nicht äquivalent) zu denen des NAND-Operators sind, und Theoremen, die ebenso reichhaltig sind. Rechts ist ein Beispiel für ein "logikähnliches" Theorem.

(Ich habe dieses spezielle System sowie einige verwandte Systeme 2017 ausführlich studiert und alle möglichen Meta-Eigenschaften seiner Theoremenstruktur entdeckt. Aber ich habe nie wirklich ein semantisches Verständnis dafür entwickelt, außer "es ist ein bisschen wie NAND, aber nicht wirklich".)