現代数学の系譜 工学物理雑談 古典ガロア理論も読む62at MATH現代数学の系譜 工学物理雑談 古典ガロア理論も読む62 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このスレッドのURL■項目テキスト100:現代数学の系譜 雑談 古典ガロア理論も読む 19/03/08 15:51:28.27 HVq5OYm0.net ZF公理系からペアノ公理を導けという試験問題があったとして その解答案で ZF公理系のどの命題と、どの命題を使って、 どういう定理なり補題を証明して そして、最後に「ペアノ公理を導いた QED」と それで、正則性公理を使っていませんということが明確になる ”ZF公理系のどの命題と、どの命題を使って”のところが記されていないと 題意はずしのあさって答案で 0点!(^^; 101:132人目の素数さん 19/03/08 15:54:17.62 ULwq4qbD.net >{}は正則 {}は如何なる要素も持たない {}∈{}にはなりようがないwwwwwww >Xが正則ならX∪{X}も正則 Y=X∪{X}として、Y∈Yとする もしY=Xなら、X∈XだからXが正則だという仮定に反する YがXと異なる要素だとしても、その場合Xの要素の一つであるから Xが正則であるという仮定に反する いずれにしてもXが正則ならX∪{X}も正則にならざるを得ない R.I.P 安らかに眠れ クソスレ主w 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch