もちろん自然数全体の集合をNとして
∀A∈N.∀f:A→A. (∀x,y∈A. (f(x)=f(y))→x=y) → ∀x∈A.∃y∈A.f(y)=x)
も成立するからNもあの公理のモデル
いろんなモデルがある中で
このモデルあのモデルと特定して話をすることがほとんどな訳ね
だからそもそもの君の書いた>>593
>そもそもどうやって個々のuniverseやらmodelやらを指定するつもりなんだろう？
は単に>>604
>ただ想定するだけでは？
ってことだと思うよ
普通の数学ではそういう風に対象を個別に指定することがほとんどなのでね