tag:blogger.com,1999:blog-5240588941019541660.post7746552017254288244..comments2023-12-28T00:39:01.648-08:00Comments on Proof Theory Abridged: Independence of B\(\Sigma_2\) from I\(\Sigma_1\)Anonymoushttp://www.blogger.com/profile/13839186395403550796noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-5240588941019541660.post-53908619831312803692013-01-31T13:26:43.244-08:002013-01-31T13:26:43.244-08:00"One thing is to prove a certain statement A,..."One thing is to prove a certain statement <i>A</i>, another thing completely different is to prove that <i>A</i> is not provable!"<br /><br />I always heard that one cannot prove negative propositions! ;-)Jnoreply@blogger.com