Bagi siapa pun yang ingin melihat contoh "matematika alien": ini adalah salah satu kelas tak terbatas dari sistem "seperti logika", dengan aksioma yang serupa (tetapi tidak setara) dengan operator NAND, dan teorema sama kayanya. Di sebelah kanan adalah contoh teorema "seperti logika".

(Saya mempelajari sistem khusus ini, ditambah beberapa yang terkait, dengan sangat rinci pada tahun 2017, dan menemukan semua jenis meta-properti tentang struktur teoremanya. Tapi saya tidak pernah benar-benar membangun intuisi semantik untuk itu di luar "ini sedikit seperti NAND, tetapi tidak juga".)