Inter-universal geometry と ABC予想 (応援スレ) 74 (976ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
225(1): 08/26(火)05:59 ID:sOAJTHDY(1/3) AAS
>>205
＞実無限：無限の対象の全体性を把握して，無限が実際に存在しているとする立場
これ、無限回の手続きの終了を認める立場、とは異なるって
日本語で書いてあるけど読める？ 神戸の高卒サル ◆yH25M02vWFhP
>>206
＞無限回の手続きが終了するって考えは
＞（無限集合を無限公理で規定して存在を認める）実無限の考えと
省3
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
227(1): 08/26(火)06:17 ID:sOAJTHDY(3/3) AAS
アキレス「空集合｛｝を作ったぞ」
亀 「オレ、空集合｛｝ オレ、その集合の要素？」
アキレス「違う。でも今追加した」
亀 「オレ、集合{{}} オレ、その集合の要素？」
アキレス「違う。でも今追加した」
亀 「オレ、集合{{},{{}}} オレ、その集合の要素？」
アキレス「違う。でも今追加した」
省5
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.491s*