>>696
>＞自然数は有限性公理のモデルですよね
>
>いいや、君の公理では全然そうなってない
>君、自分が書いた論理式見た？
>どれがモデルか言ってみ？
モデルは書いてないけど？
君が有限性公理を書いてみろと言うから書いただけ
あれでいいのね？
で
自然数nがそのモデルだってのは
∀A∈n.∀f:A→A. (∀x,y∈A. (f(x)=f(y))→x=y) → ∀x∈A.∃y∈A.f(y)=x)
が真だからでしょ