Dla każdego, kto jest ciekawy zobaczenia przykładu "obcej matematyki": oto jeden z nieskończonej klasy systemów "podobnych do logiki", z aksjomatami podobnymi (ale nie równoważnymi) do tych operatora NAND, oraz twierdzeniami równie bogatymi. Po prawej stronie znajduje się przykład twierdzenia "podobnego do logiki".

(Badałem ten konkretny system, a także kilka pokrewnych, w dużych szczegółach w 2017 roku i odkryłem wszelkiego rodzaju meta-właściwości dotyczące jego struktury twierdzeń. Ale nigdy tak naprawdę nie zbudowałem żadnej intuicji semantycznej na jego temat poza „to trochę jak NAND, ale nie do końca”.)