数学の証明という理論がわからないです

[過去ﾛｸﾞ] 数学の証明という理論がわからないです (245ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

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

133(1): 2021/02/17(水)19:39 ID:je7Fy8iq(1) AAS
「選択公理がないと証明できない」という命題はどうやって証明するんだろな。
ハーンバナッハの定理は選択公理無しには証明できないらしい。

134: 2021/02/17(水)20:07 ID:zld65fln(1) AAS
>>133
＞ハーンバナッハの定理は選択公理無しには証明できないらしい。

というのはガセ