Inter-universal geometry と ABC予想 (応援スレ) 73 (668ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
614(1): 08/13(水)18:24 ID:osN5EEQ4(1/2) AAS
>>610
ja.wikipedia 選択公理 歴史
「クルト・ゲーデルとポール・コーエンによって、
ZF（ツェルメロ＝フレンケルの公理系）から独立であること
（ZFに選択公理を付け加えても矛盾しないが、ZFから選択公理を証明することはできない）
が示された。」
まず、ゲーデルが構成可能宇宙で選択公理が成立することを示した
省4
616: [s] 08/13(水)18:36 ID:osN5EEQ4(2/2) AAS
>>615
高卒ホモはただ計算方法を暗記するのが数学だと思ってる
定義に基づいて定理を証明するとか何のためにやるのか理解できない
だから大学１年の微積も線形代数も全く理解できなかった
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.025s