[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論他 3 (548ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
269(2): 2021/10/09(土)08:08 ID:G87Fbttq(2/5) AAS
>>268
お返事ありがとうございます。
講義がない場合もあるんですね。
その方と選択公理の話をしていたのですが、「選択公理を証明できるかも」
と言うので、「いやいや公理を証明するっておかしいでしょ。
証明するとしたら、ある公理系から証明することになるが
ZFとは独立であることが証明されている」と言ったら
省1
271: Mara Papiyas ◆y7fKJ8VsjM 2021/10/09(土)09:06 ID:qQhss2MU(4/8) AAS
>>269
>講義がない場合もあるんですね。
ありますね
東大では２年時に「集合と位相」という講義はありますが
半期で、位相と一緒なので、基礎的なことだけで
ZFとかZFCとかという形では教えないかもしれませんね
274: Mara Papiyas ◆y7fKJ8VsjM 2021/10/09(土)10:51 ID:qQhss2MU(5/8) AAS
>>269
>「選択公理を証明できるかも」と言うので、
>「いやいや公理を証明するっておかしいでしょ。
> 証明するとしたら、ある公理系から証明することになるが
> ZFとは独立であることが証明されている」と言ったら
> ブチ切れられて･･･
>>268で紹介した数学者の方も選択公理を知らず
省5
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.017s