スレタイ 箱入り無数目を語る部屋29(あほ二人の”アナグマの姿焼き"Part3ｗ) (251ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
232(1): 06/14(土)19:28 ID:KrRIoxWF(4/4) AAS
選択公理を認めると、複素数体には巨大な自己同型群が存在することが従う。
この自己同型群の存在から、モジュラー函数のある特殊値たちが代数的数であることを
構成的でない方法で証明できる。
この命題はZF内で別の方法（構成的）によっても証明できるが、二つの事実は当然矛盾しない。
という話を、藤原一宏という先生が書いていた。
235: お○さん 06/15(日)06:53 ID:4G/uUJn/(1/3) AAS
>>232
うん、両者は矛盾しないよ
君はなぜ矛盾すると思ったの？
正直にいってごらん 怒らないから
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.010s