"Yabancı matematik" örneğini görmek isteyenler için: burada NAND operatörünkine benzer (ama eşdeğer olmayan) aksiyomlara sahip sonsuz bir "mantık benzeri" sistem sınıfından biri ve teoremleri de aynı derecede zengin bir teorem. Sağda ise "mantık benzeri" bir teoreme örnek var.

(Bu özel sistemi ve ilgili bazı sistemleri 2017'de ayrıntılı olarak inceledim ve teorem yapısı hakkında her türlü meta-özelliği keşfettim. Ama bunun için "biraz NAND'a benziyor ama aslında değil" dışında anlamsal bir sezgi oluşturmadım.