【罪積み】ｶﾄﾞｶﾜヽ（　・∀・）ﾉ●ｳﾝｺｰ【壱つ】

第一不完全性定理、

　「矛盾がない理論体系の中には
　　　『証明も否定もできない』
　　　　　　　　　　　　　という命題が必ずある」

工エｴェｪ(´д｀)ｪェｴエ工工なにをぉおう?!
あれか！あの…なんでかわからんけど
どうやらどうかんがえても正しい臭いぞ…ってことか

第2不完全性定理

　「ある理論体系に矛盾がないとしても、
　　その理論体系の内部から
　　　　　　　　『自身に矛盾がない』
　　　　　　　　　　ということを証明する事はできない」

うっうーん…これは直ぐには理解しがたい。
如何せん数学は常に2でしたから。