Skip to content

Instantly share code, notes, and snippets.

@vyv03354
Last active May 1, 2024 14:15
Show Gist options
  • Save vyv03354/fa60598c53e98d3e724b15344c0ebe72 to your computer and use it in GitHub Desktop.
Save vyv03354/fa60598c53e98d3e724b15344c0ebe72 to your computer and use it in GitHub Desktop.
(ZF⁻)−3 のモデルについて

『キューネン 数学基礎論講義』の置換公理 のページの内容について質問があります。 「万有集合をもつモデルは基礎の公理 (A2) をみたさない」というのは本当でしょうか?

$A$$0$を除くすべての要素は$0$を要素に持つので、

  • $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が$\mathfrak{A}$で成り立っているように見えます。内包公理があると万有集合から万有集合のみを要素に持つ集合が作れてしまうのでだめですが、内包公理がないので問題ないはずです。

@vyv03354
Copy link
Author

@1995hnagamin 突然のメッセージ失礼します。お答えいただけると幸いです。

@1995hnagamin
Copy link

コメントありがとうございます!
寝起きでまだきちんと検討できていませんが、おっしゃる通り成り立つような気がします。少しお時間ください。

@1995hnagamin
Copy link

1995hnagamin commented Apr 30, 2024

考え直してみましたが、おっしゃる通り $\mathfrak{A}$ は公理 (A2) を満たしていると思います。

基礎の公理は $S_1 \ni S_2 \ni S_3 \ni \cdots$ のような ∋無限列の不存在を保証するものと思いこんでいましたが、(A2) それ自体は $S=\lbrace S, \emptyset\rbrace$$T_1=\lbrace T_2 \rbrace, T_2=\lbrace T_1 \rbrace$ などの集合を直接禁じるものではありませんね。

後でブログ記事を修正します。

この Gist は Secret に設定されていますが、URL をブログや他のところで公開しても構いませんか?

@vyv03354
Copy link
Author

かまいません。Gistの設定をPublicに変更しました。

@1995hnagamin
Copy link

ありがとうございます!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment