>>698
>>どれがモデルか言ってみ？
>モデルは書いてないけど？

論外

>君が有限性公理を書いてみろと言うから書いただけ
>あれでいいのね？

そもそも、あの公理を設定したモデルの対象、つまり項は何だい
モデル理論知ってるよな？だったら質問の意味わかるよな？答えてごらん

＞で自然数nがそのモデルだってのは
＞∀A∈n.∀f:A→A. (∀x,y∈A. (f(x)=f(y))→x=y) → ∀x∈A.∃y∈A.f(y)=x)
＞が真だからでしょ

ああ、そういう意味？
で、ωもモデルってのは分かる？（ωはすべての自然数からなるモデル）

で、さらにいうと、標準的な自然数（つまり自然数であることが証明できるもの）以外もモデルとなるのは分かる？