＞自然数は有限性公理のモデルですよね

いいや、君の公理では全然そうなってない
君、自分が書いた論理式見た？
どれがモデルか言ってみ？

速攻でピンポンかブブーか答えてあげるから

さ、どうぞ