遂堅持用盡可能簡單的方法產生自然數, 並且證明在取代公理的前提下個人所採用的 ... 但我會避開這樣的變數表達: 若P 則Q P ------------- // Q 為的是分開邏輯與數理 ...
確定! 回上一頁