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
公理化的歷史發展
Axiomatizing software test data accuracy，發表於IEEE trans on software engineering 86年。
請軟件工程方麪的河友幫忙找一篇文章冰與火-2007-06-1620:01:10