Inter-universal geometry と ABC予想 (応援スレ) 74 (983ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
226(1): 08/26(火)06:11 ID:sOAJTHDY(2/3) AAS
大体、
{}には要素がない
{{}}の要素は{}だけで、{}∪{{}}＝{{}}は要素でない
{{},{{}}の要素は{}と{{}}だけで、{{}}∪{{{}}}＝{{}、{{}}}は要素でない
要素を１つずつ付け加えた場合、最後に付け加えられた要素xについてはx∪{x}が要素でない
∀x,x∈S⇒x∪{x}∈S だといえず、必ず∃x.x∈S⋀¬(x∪{x}∈S) が言えてしまう
これがアキレスと亀の集合版である
省10
231(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/26(火)11:04 ID:nzEtO0b1(1/14) AAS
>>225-230
(引用開始)
ごもっとも
１つずつ付け加える、というからには最後の操作がある、と考える
最後の操作がなくて完了した、とする場合、
１つずつ付け加えたのではない、ということになる
無限公理は当然独断だから飛躍である
省29
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s