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