Jos haluat nähdä esimerkin "vieraasta matematiikasta": tässä on yksi äärettömästä "logiikan kaltaisten" järjestelmien luokasta, joiden aksioomat ovat samankaltaisia (mutta eivät ekvivalentteja) kuin NAND-operaattorilla, ja lauseet yhtä rikkaat. Oikealla on esimerkki "logiikan kaltaisesta" lauseesta.

(Tutkin tätä tiettyä järjestelmää sekä joitakin siihen liittyviä yksityiskohtaisesti vuonna 2017 ja löysin kaikenlaisia metaominaisuuksia sen lauserakenteesta. Mutta en oikeastaan koskaan rakentanut mitään semanttista intuitiota sille muuta kuin "se on vähän kuin NAND, mutta ei oikeasti".)