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

1 ：１３２人目の素数さん：2024/03/05(火) 13:30:50.01 ID:ii71mQsk.net

教えてください

2 ：１３２人目の素数さん：2024/03/05(火) 13:40:26.52 ID:RyzmvcBl.net

定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義
定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理
証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明
何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？
定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義
定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理
証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明
何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？
定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義
定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理
証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明
何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？
定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義
定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理
証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明
何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？
定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義
定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理
証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明
何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？

3 ：１３２人目の素数さん：2024/03/05(火) 13:41:06.02 ID:RyzmvcBl.net

定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義
定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理
証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明
何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？
定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義
定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理
証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明
何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？
定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義
定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理
証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明
何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？
定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義
定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理
証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明
何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？
定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義
定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理
証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明
何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？１

4 ：１３２人目の素数さん：2024/03/05(火) 13:41:28.56 ID:RyzmvcBl.net

定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義
定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理
証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明
何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？
定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義
定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理
証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明
何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？
定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義
定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理
証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明
何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？
定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義
定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理
証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明
何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？
定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義定義
定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理定理
証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明証明
何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？何？２

5 ：１３２人目の素数さん：2024/03/05(火) 13:49:41.50 ID:p19KPbL2.net

自然数論における任意の命題をPとする
自然数論において「「P」が証明できれば、P」が証明できれば、「P」が証明できる

6 ：１３２人目の素数さん：2024/03/05(火) 13:50:37.02 ID:p19KPbL2.net

つまり「「P」が証明できれば、P」が証明できるのは、「P」が証明できるとき、そのときに限られる

7 ：１３２人目の素数さん：2024/03/06(水) 03:43:02.81 ID:Gw3wVXMu.net

カントールの対角線論法

8 ：１３２人目の素数さん：2024/03/07(木) 13:42:48.09 ID:kS0Q5qDy.net

対角線論法は、圧倒的ダメ証明だな。2^nに対して、対角線論法は成り立たない。

9 ：１３２人目の素数さん：2024/03/07(木) 13:51:37.94 ID:o5d27C4l.net

任意の自然数nについて、n<2^nだけどな