Inter-universal geometry と ABC予想 (応援スレ) 74 (971ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
228(2): 08/26(火)08:14 ID:v2xfVefA(1/23) AAS
{}に要素を１つずつ付け加えて無限集合である帰納的集合を作ることを考える。
無限回の付け加えが終了して帰納的集合Xが出来上がったと仮定する。
最後に付け加えられた要素をxと書くとXはx∪{x}を持たないからXは帰納的集合ではない。
矛盾が導かれたから仮定は偽。よって無限回の付け加えは終了しない。
229(1): 08/26(火)09:29 ID:Dnf1fdnz(1/2) AAS
>>228
ごもっとも
１つずつ付け加える、というからには最後の操作がある、と考える
最後の操作がなくて完了した、とする場合、
１つずつ付け加えたのではない、ということになる
231(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/26(火)11:04 ID:nzEtO0b1(1/14) AAS
>>225-230
(引用開始)
ごもっとも
１つずつ付け加える、というからには最後の操作がある、と考える
最後の操作がなくて完了した、とする場合、
１つずつ付け加えたのではない、ということになる
無限公理は当然独断だから飛躍である
省29
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s