‘玄之又玄’：递归；
‘玄之又玄，众妙之门’： 这与康托定义ordinals中的无穷大之无穷大，异曲同工也。

不要过份迷信形式逻辑。

现代数学三大分支之一，就是直观主义数学。它连形式主义和逻辑主义里的排中律都不接受，反证法对它来说没意义；而更推崇那种直观的、建造上去的方法，例如我日前所提及的被归功于周髀算经的那幅图对勾股定理的证明。