Inter-universal geometry と ABC予想 (応援スレ) 73 (668ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
614(1): 08/13(水)18:24 ID:osN5EEQ4(1/2) AAS
>>610
ja.wikipedia 選択公理 歴史
「クルト・ゲーデルとポール・コーエンによって、
ZF（ツェルメロ＝フレンケルの公理系）から独立であること
（ZFに選択公理を付け加えても矛盾しないが、ZFから選択公理を証明することはできない）
が示された。」
まず、ゲーデルが構成可能宇宙で選択公理が成立することを示した
省4
618(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/13(水)20:48 ID:w78+kS3p(1/4) AAS
>>612
ID:C2xh/shi ゴキブリの友かい？(旧知のおサルの友？)ｗ
>なぜなら無限回の繰り返しは決して完了しないので
それは違うよ
a)無限回の繰り返しは決して完了しないと考えることもできるし
b)無限回の繰り返しは決して完了すると考えることもできる
要するに、上記のa)b)とも、日常の数学の言葉だよね
省28
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.020s