Part Bに入りました。いよいよ算術です。なぜか新井敏康著『数学基礎論』ではPAオンリーでロビンソンの算術Qは出てきません。 算術Qで不思議なのはやはり、p.69の でしょうか。公理A4でがあるので、これは加法の交換法則の特殊なもの すら成立していないこと…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。