お前らが「嘘だろ？！」と思った定理や証明

[過去ﾛｸﾞ] お前らが「嘘だろ？！」と思った定理や証明 (69ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

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

5: 2024/03/05(火)13:49 ID:p19KPbL2(1/2) AAS
自然数論における任意の命題をPとする
自然数論において「「P」が証明できれば、P」が証明できれば、「P」が証明できる

6: 2024/03/05(火)13:50 ID:p19KPbL2(2/2) AAS
つまり「「P」が証明できれば、P」が証明できるのは、「P」が証明できるとき、そのときに限られる