Inter-universal geometry と ABC予想 50

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 50 (1002ﾚｽ)
上下前次 1-新

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

172(1): 2020/04/16(木)17:22 ID:Vo6mLORJ(29/43) AAS
>>171
最強の公理系は矛盾した公理系だって知ってるかな？

つまり矛盾した公理系からは任意の命題が定理として証明される

公理を強めて定理を証明する、というのは危険が多い