不再是0和1。
是1和2，然后1+1可以写作2的描述公理的方法，因为用公式的话可能出现一些技术上的视觉死角，用这种道家的符号来转录公式以后，全部公式应该都是能穷尽，能互相转录的。大概吧……呵呵……