... (┐A)) => (((┐B) => A) => B) ) : : 實在不懂作者想表達的意思. ... 用tautology來說明axiom是什麼, 可以幫助理解, 不過還是必須小心: (1) ...
確定! 回上一頁