Inter-universal geometry と ABC予想 (応援スレ) 73 (981ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
823(1): 08/20(水)01:56 ID:FFMsJxNV(3/16) AAS
>”Without the infinity axiom”では、そうならないとある
そうならない じゃなく 有限集合の存在を保証するのみ な 君、英語も読めんのか？
「Without the infinity axiom, ZF would only guarantee the existence of finite sets.」
いつも言ってる通りじゃん。仮に無限回の操作が許されるとしたら対の公理の無限回適用で帰納的集合を構成できるから無限公理は不要。
無限公理が存在することが無限回の操作が許されない何よりの証拠。
>お分かりか？
何一つ分かってないくせに口の利き方に気を付けろ
省13
836(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/20(水)07:21 ID:faz+vbtX(1/2) AAS
>>821-825
(引用開始)
>ZFで無限公理を認めるとは 無限操作を認めることだよ
正反対。
無限公理が存在することが無限操作を認めない証拠。
なぜなら仮に無限操作を認めるとしたら対の公理の無限回適用で帰納的集合を構成でき、無限公理は不要だから。
(引用終り)
省27
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.043s