Inter-universal geometry と ABC予想 33

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 33 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

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

150(1): 2018/10/15(月)12:07 ID:8YT2Mpnd(3/9) AAS
選択公理を使った証明というのは、なんとなく弱くて頼りない印象がなくはない
仮に証明できたとしても遠い将来、反例が見つかったりすることもある・・かも・・？

169(4): 2018/10/15(月)14:14 ID:+EHAH4hQ(1/2) AAS
>>150
この種の数論の命題は、選択公理を使って証明できれば、
選択公理無しでも証明出来ることが、知られています。
フェルマーの大定理やABC予想もそう。