对于任何好奇想要看到“外星数学”示例的人：这里是一个无限类“类逻辑”系统的例子，其公理与NAND运算符的公理相似（但不等同），定理同样丰富。右侧是一个“类逻辑”定理的示例。

（我在2017年详细研究了这个特定系统以及一些相关的系统，发现了它的定理结构的各种元属性。但我从未真正建立起任何语义直觉，除了“它有点像NAND，但又不完全是”。）