[過去ﾛｸﾞ] IUTを読むための用語集資料集スレ (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
785(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/11/07(土)13:42 ID:4jX6N+0z(4/9) AAS
>>784
>{{},{{}},{{{}}},…}（要素が無限個）は基礎の公理を満たします
そっから、ずっこけているのか？
そう言えば、思い出してきたけど、
おぬしと同じ議論を、ガロアスレとかで以前もしたよね（＾＾
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
省27
786(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/11/07(土)13:45 ID:4jX6N+0z(5/9) AAS
>>785
つづき
外部ﾘﾝｸ:ja.wikipedia.org
自然数
外部ﾘﾝｸ:ja.wikipedia.org
ペアノの公理
集合論において標準的となっている自然数の構成は以下の通りである。
省27
796: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/11/08(日)07:41 ID:rSmWbt0i(2/11) AAS
>>795
つづき
（参考）>>785より
外部ﾘﾝｸ:ja.wikipedia.org
正則性公理
正則性公理（せいそくせいこうり、英: axiom of regularity）は、別名基礎の公理（きそのこうり、英: axiom of foundation） とも呼ばれ、ZF公理系を構成する公理の一つで、1925年にジョン・フォン・ノイマンによって導入された。選択公理と同様、様々な同値な命題が存在する。
定義
省16
821(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/11/08(日)23:10 ID:rSmWbt0i(10/11) AAS
>>808
どなたか知らないが、レスありがとう
>x∞に一番外側の"{"と"}"が有るならそれらを外したものはx∞自身ですから正則性公理に反します。
？？？
１．下記「正則性の公理は必ずしもZF公理系を拡張するために必要なものではない」とあるから、正則性公理を絶対視する必要ないと思うけど
２．されど 折角だから、正則性の公理、下記坪井明人 数理論理学ＩＩ ”空でない集合 x には ∈ に関して極小となる元 z ∈ x があること，を直観的には意味している．”とあるよね
３．シングルトンだから、集合を構成する要素は一つ。それ自身が、極小ですよ
省19
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 4.189s*