Inter-universal geometry と ABC予想 (応援スレ) 74 (971ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
230(1): 08/26(火)09:32 ID:m4zUCoXw(1/2) AAS
無限公理は当然独断だから飛躍である
別の公理から証明される定理ではない
そのような公理を設定することが
無限回の操作の完了を認めるに等しい
というのだろうがそれはただの妄想である
256: 08/26(火)14:12 ID:m4zUCoXw(2/2) AAS
もし、無限回手続きを終わらせられるのなら
自然数の無限列について、最小の項がどこに最初に現れるのか必ず答えられる筈
し・か・し、実際にはそうはならない
頭から見て行って、０の項が出てくれば、それが最初の最小の項とわかるが
もし０の項がなかったとしたら、どれが最初の最小の項かは、基本的には全部の項を見ないとわからない
（列の具体的な構成法が分かっていれば、そこから分かる場合もあるが、必ずしもそういう列ばかりではない）
最初の最小の項があることは証明できるが、それがどこにあるか具体的に見つける方法はない
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.024s