‘玄之又玄’：遞歸；
‘玄之又玄，眾妙之門’： 這與康托定義ordinals中的無窮大之無窮大，異曲同工也。

不要過份迷信形式邏輯。

現代數學三大分支之一，就是直觀主義數學。它連形式主義和邏輯主義里的排中律都不接受，反證法對它來說沒意義；而更推崇那種直觀的、建造上去的方法，例如我日前所提及的被歸功於周髀算經的那幅圖對勾股定理的證明。