13/02/14 23:39:22.15
第二不完全性定理によると
「１＝０は証明できない」ことは証明できない
となるらしいが、どうもよくわからん。「１≠０」は公理から簡単に出る気がするのだが・・・
13/02/14 23:39:22.15
第二不完全性定理によると
「１＝０は証明できない」ことは証明できない
となるらしいが、どうもよくわからん。「１≠０」は公理から簡単に出る気がするのだが・・・
13/02/14 23:39:22.15
第二不完全性定理によると
「１＝０は証明できない」ことは証明できない
となるらしいが、どうもよくわからん。「１≠０」は公理から簡単に出る気がするのだが・・・