Para quem estiver curioso para ver um exemplo de uma "matemática alienígena": aqui está um de uma classe infinita de sistemas "semelhantes à lógica", com axiomas semelhantes (mas não equivalentes) aos do operador NAND, e teoremas igualmente ricos. À direita está um exemplo de um teorema "semelhante à lógica".

(Estudei este sistema em particular, além de alguns relacionados, em grande detalhe em 2017, e descobri todo tipo de meta-propriedades sobre a sua estrutura de teoremas. Mas nunca realmente desenvolvi uma intuição semântica para isso além de "é um pouco como NAND, mas não realmente".)