- 63 名前：１３２人目の素数さん mailto:age [04/12/11 05:47:41]
- しかし、伊丹公理って基礎論の知識もある程度はあるんだ。凄いな
>>56
RobinsonのQとかいう奴です。第一不完全性定理の証明で必要な
最低限度の公理を集めたもので、こういう公理です
PA - （数学的帰納法の公理図式） + （∀x(x≠0→∃y( S(y) = x ) ) ）
要するに、帰納法の公理は無くとも第一不完全性
（つまり命題の集合の中での定理の極大性）は証明できる、ということね。
Robonsonは超準解析を殆ど一人で作ったあのRobonsonです。
（↑…でいいよね？第十問題の女性の方じゃないよね？）
ってか自然数の標準モデルの定義
（Th(\mathfrak{N]\mathbb(N)の定義ならなお嬉しい）
ご存知なら誰か教えて下さいm(_ _)m
