För den som är nyfiken på ett exempel på en "främmande matematik": här är ett av en oändlig klass av "logikliknande" system, med axiom liknande (men inte ekvivalenta) de hos NAND-operatorn, och satser lika rika. Till höger finns ett exempel på en "logikliknande" sats.

(Jag studerade just detta system, plus några närliggande, i detalj redan 2017, och upptäckte alla möjliga meta-egenskaper i dess satsstruktur. Men jag har aldrig riktigt byggt upp någon semantisk intuition för det utöver "det är lite som NAND, men inte riktigt".)