20/11/02 08:02:24.08 PUodusEe.net
ｽﾚﾘﾝｸ(math板:719番)
719 特別支援学校教諭 2020/11/02(月) 07:59:12.94ID:PUodusEe
711
>「二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる」
718
>「レーヴェンハイム＝スコーレムの定理：一階述語論理で定式化されたペアノの公理は、無数の超準モデルを持つ」
どっちも、後者関数をどう設定するかとは無関係ですけどね
つまり後者関数を決めたところで、どっちもいえます
「後者関数の任意性」とは無関係です
で、シングルトンによる後者関数（Zermelo）を選んでも
ωはシングルトンにはなりません