Axiomatizing

基本解释

• 公理化

同根派生

• 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更多例句