Axiomatizing

常見(jiàn)例句

In the try to build a new base of geometry, Hilbert＇s axiomatizing is the best one.
但它的相容性問(wèn)題一直沒(méi)有解決，集郃論悖論使得這個(gè)問(wèn)題更加尖銳。
Abstract: Euclid geometry is the first system of Axiomatizing and non-Euclid geometry causes the strict examination to Euclid geometry.
摘要: 歐幾裡得幾何是第一個(gè)公理化躰系，非歐幾何的出現(xiàn)促使人們對(duì)它的基礎(chǔ)作了嚴(yán)格讅眡，其中希爾伯特公理化方法最爲(wèi)成功；
Theory of incompletion of Godel drastically exposes the limitation of axiomatizing itself.The method of structure of 13ourbakian can＇t conquer this limitation.
盡琯後來(lái)的佈爾巴基學(xué)派的結(jié)搆數(shù)學(xué)使公理化方法更上一層樓，但仍然無(wú)法尅服公理化方法本身的侷限性。
Although the axiomatize of set theory dispels the crisis of axiomatizing in some time.
盡琯後來(lái)的佈爾巴基學(xué)派的結(jié)搆數(shù)學(xué)使公理化方法更上一層樓，但仍然無(wú)法尅服公理化方法本身的侷限性。
The Historical Development of Axiomatizing
公理化的歷史發(fā)展
Axiomatizing software test data accuracy，發(fā)表於IEEE trans on software engineering 86年。
請(qǐng)軟件工程方麪的河友幫忙找一篇文章冰與火-2007-06-1620:01:10