User talk:SternJacob

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.

Welcome!
Welcome!

Hello,, 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 Questions, ask me on, or ask your question on this page and then place  before the question. Again, welcome! --Darktower 1  2  3 4  5  09:17, 4 August 2009 (UTC)
 * The five pillars of Wikipedia
 * Tutorial
 * How to edit a page and How to develop articles
 * How to create your first article (using the Article Wizard if you wish)
 * Manual of Style