>>577補足
>大混乱している
>下記 ペアノ公理 英語版を百回音読しよう！ｗ（＾＾

＜ポイント＞
１）ペアノ公理は、歴史的には２階だが
　その後 一階述語論理化が行われた（二階限定と考えるのが誤り）
２）一階述語論理の場合に、標準モデルと 非標準モデルが存在する
　（上向きのLöwenheim–Skolem）
３）が、標準モデルと 非標準モデルとを
　ごちゃ混ぜ チャンポンはダメ！ 絶対！！ｗ（＾＾