公理化的日文

例句与用法

更多例句：  下一页
1. ）のある数学の全ての公理化を目的としていた。
2. 「物理学は公理化できるか。
3. ペアノの公理（ペアノのこうり、Peano axioms） とは、自然数全体を公理化したものである。
4. 関数解析学では、この概念を公理化した実数体上で考えられる完備位相線形空間とよばれる様々な空間が研究される。
5. 関数fが点xで消えていないとき、xのごく近くでは逆数関数 1 / f(x) を考えられることが公理化される。
6. その後記号論理学者たちによる更なる公理化を経て、集合論のモデルを与える枠組みとしても認識されるようになった。
7. たとえば、数列の極限の ε-n 式定義を ω 項算法の代数的条件によって書き換えて、極限を公理化することができる。
8. クルト?ゲーデルの業績により、古典的高階述語論理は（帰納的に公理化された）健全で完全な証明計算が認められないとされた。
9. 公理的集合論（こうりてきしゅうごうろん、axiomatic set theory）とは、公理化された集合論のことである。
10. 知の体系の公理化は、いくつかの基本的でよく知られた事柄からその体系の主張が導きだせることを示すためになされることが多い。