『キューネン 数学基礎論講義』の置換公理 のページの内容について質問があります。 「万有集合をもつモデルは基礎の公理 (A2) をみたさない」というのは本当でしょうか?
-
$x=0$ の場合:$∃y∈A(y∈_\mathfrak{A}x)$ が成り立たないのでよい。 -
$x≠0$ の場合:$y$ として$0$ を取れば$0∈_\mathfrak{A}x∧¬∃z∈A(z∈_\mathfrak{A}x∧z∈_\mathfrak{A}0)$ が成り立つのでよい。
となって、A2が
『キューネン 数学基礎論講義』の置換公理 のページの内容について質問があります。 「万有集合をもつモデルは基礎の公理 (A2) をみたさない」というのは本当でしょうか?
となって、A2が
コメントありがとうございます!
寝起きでまだきちんと検討できていませんが、おっしゃる通り成り立つような気がします。少しお時間ください。
考え直してみましたが、おっしゃる通り
基礎の公理は
後でブログ記事を修正します。
この Gist は Secret に設定されていますが、URL をブログや他のところで公開しても構いませんか?
かまいません。Gistの設定をPublicに変更しました。
ありがとうございます!
@1995hnagamin 突然のメッセージ失礼します。お答えいただけると幸いです。