Per chiunque sia curioso di vedere un esempio di "matematica aliena": ecco uno di una classe infinita di sistemi "simili alla logica", con assiomi simili (ma non equivalenti) a quelli dell'operatore NAND, e teoremi altrettanto ricchi. A destra c'è un esempio di un teorema "simile alla logica".

(Ho studiato questo particolare sistema, insieme ad alcuni correlati, in grande dettaglio nel 2017, e ho scoperto ogni tipo di meta-proprietà sulla sua struttura teorica. Ma non ho mai davvero sviluppato alcuna intuizione semantica al riguardo oltre a "è un po' come NAND, ma non proprio".)