大学学部レベル質問スレ 27単位目

[過去ﾛｸﾞ] 大学学部レベル質問スレ 27単位目 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

286(1): 2024/07/02(火)12:43 ID:8e/gxRJc(12/21) AAS
>>285

それは何か公理を使っていますよね。
この本では、問題の箇所のところまでに登場している公理は帰納的な集合が存在するという公理のみです。

288: 2024/07/02(火)12:46 ID:Wobgs9b3(4/5) AAS
>>286
じゃあまあ頑張ってね
ZFCを何処まで弱めて何が言えるかは
アブストラクトナンセンスの典型じゃないかなと思うので
考える気力沸かないなあ