06/11/19 21:20:29
失礼
typoじゃなくて変換ミスですね。どうでもいいですが。
それから>>65に同意じゃなくて>>60に同意です。
そもそも公理というのは間接的に術語を「定義」しているわけで、
そういう（>>81の後ろ二段のような）認識がなければ、
定理φは公理Aと同値である、というときのφの意味内容がはっきりしません。
（つまり、「負×負は正」から公理が導ける、というとき、
整数がまだ定義されない状況で、ある数が「負」であるとはどういう意味なのだろうか、ということ。）
そういう意味でもA氏が>>91-92のような認識をしているとは私には考えがたいです。
---
ここからさらにどうでもいいこと
「同値数学」だと「負掛ける負は必ず正」のような命題は扱えなくなるとおもいますが
よく考えたらこういう命題はある定理の証明の一部として扱えば良い訳で
かえって中心的、本質的な命題しか扱えなくなる、というメリットはあるのかもしれないｗ
ただ、ψ1とそれより弱いψ2という二つの命題があったときに、ψたちがある性質を満たせば、
どの二つも強さの異なる無限個の命題φ1,φ2,.........,φn,.........があって
ψ1⇒φ1⇒φ2⇒φ3⇒........⇒φn⇒ψ2（∀n）が成り立つ、とかそういう定理があるので
超数学的議論をするときは扱えなくなる命題が出てくるのは確か。