Talk:Gödel's incompleteness theorems/Archive1

I think
I think that when I created this earlier (effing rollback) I did call it theory but wp uses theorem. SJG sjg  20:16, 15 September 2007 (EDT)

Number theory
I thought the theorem applied to ZFC set theory. 22:33, 28 March 2010 (UTC)
 * It applies to all theories, including ZFC set theory, which include arithmetic. (Provided that they are formalized in the appropriate way.) There are other theorems which apply specifically to set theory, such as the theorems that the axiom of choice and the continuum hypothesis can neither be proved nor disproved. I'll see if I can add a line or to the article which clarifies that. Thanks. TomS TDotO (talk) 10:07, 29 March 2010 (UTC)