Pro ty, kdo chtějí vidět příklad "cizí matematiky": zde je jeden z nekonečné třídy "logicky podobných" systémů, s axiomy podobnými (ale ne ekvivalentními) těmi operátoru NAND a větami stejně bohatými. Vpravo je příklad "logicky" podobné věty.

(Tento konkrétní systém, plus některé příbuzné, jsem studoval podrobně už v roce 2017 a objevil jsem různé meta-vlastnosti ohledně jeho struktury vět. Ale nikdy jsem si k tomu nevytvořil žádnou sémantickou intuici kromě "je to trochu jako NAND, ale vlastně ne".)