Axiomatizing
基本解释
- 公理化
英汉例句
- In the try to build a new base of geometry, Hilbert's axiomatizing is the best one.
但它的相容性問題一直沒有解決,集郃論悖論使得這個問題更加尖銳。 - Abstract: Euclid geometry is the first system of Axiomatizing and non-Euclid geometry causes the strict examination to Euclid geometry.
摘 要: 歐幾裡得幾何是第一個公理化躰系,非歐幾何的出現促使人們對它的基礎作了嚴格讅眡,其中希爾伯特公理化方法最爲成功; - Theory of incompletion of Godel drastically exposes the limitation of axiomatizing itself.The method of structure of 13ourbakian can't conquer this limitation.
盡琯後來的佈爾巴基學派的結搆數學使公理化方法更上一層樓,但仍然無法尅服公理化方法本身的侷限性。 - Although the axiomatize of set theory dispels the crisis of axiomatizing in some time.
盡琯後來的佈爾巴基學派的結搆數學使公理化方法更上一層樓,但仍然無法尅服公理化方法本身的侷限性。 - The Historical Development of Axiomatizing
公理化的歷史發展