User talk:Harri jensen

Hi Harri jensen,

I have reverted your latest changes to Gödel's incompleteness theorems, pending discussion. Please don't take this personally. They were not formatted correctly, which could easily be fixed, but first I believe the changes should be discussed on the talk page. Please create a new section at talk:Gödel's incompleteness theorems (see the "new section" tab at the top of the page), and explain what you want to add and why. I do not have easy access to the reference you provided and in particular am not quite sure what the author means by "open" and "closed" sentences (does it have to do with bounded or unbounded quantifiers?). --Trovatore (talk) 10:05, 31 May 2012 (UTC)