大学学部レベル質問スレ 8単位目 [無断転載禁止]©2ch.net

[過去ﾛｸﾞ] 大学学部レベル質問スレ 8単位目 [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

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

547(1): 2017/10/08(日)11:37 ID:jERVOI3Y(1/6) AAS
証明できないことを証明するとき、つまりメタレベルでどんな公理を採用するかは問題にされないのが不思議
ヘンテコな数学的公理の下でメタ議論すればZFから選択公理を導ける可能性はあるんじゃないの？

548(1): 2017/10/08(日)11:54 ID:62Wk3QBs(1/9) AAS
>>547
やれよ