>>729
証明論について根本的な誤解をしてるようだね。
入門書でも読めばいいんじゃねーの。