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