User talk:SternJacob

From Wikipedia, the free encyclopedia
Jump to: navigation, search

A reference to Gentzen's direct proof of the unprovability of epsilon-0 induction was added. It is generally recognized as a "normal" arithmetic statement not derivable in Peano arithmetic.



Hello, SternJacob, and welcome to Wikipedia! Thank you for your contributions. I hope you like the place and decide to stay. Here are some pages that you might find helpful:

I hope you enjoy editing here and being a Wikipedian! Please sign your messages on discussion pages using four tildes (~~~~); this will automatically insert your username and the date. If you need help, check out Wikipedia:Questions, ask me on my talk page, or ask your question on this page and then place {{helpme}} before the question. Again, welcome! --Darktower 12345 09:17, 4 August 2009 (UTC)