Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In Godel's Incompleteness Theorem, his theorem is about a system of logic. Where can I find more about this study, especially the notation?


I mean logic about systems in general. I worded the above a bit wrong.

share|cite|improve this question
It will not be much fun, the system is Principia, not current first-order logic. Also, he leaves out most of the detail. – André Nicolas Dec 14 '12 at 21:50
@AndréNicolas That's a bit misleading. Gödel 1931 explicitly shows that his argument applies to any formal theory satisfying certain very general conditions (as we would put it, the system is primitive-recursively axiomatized and represents all primitive recursive functions). And the detail for this general version of the First Theorem is all there. – Peter Smith Dec 14 '12 at 22:37
Do you want to learn about formal logical systems or Godel's theorem? – Kaveh Feb 6 '13 at 21:52
Formal Logic Systems. Not any in particular, just in general. I do know that Gödel's theorems dealt with them in general. That is why I referenced his work. – PyRulez Feb 7 '13 at 23:11
up vote 4 down vote accepted

Try Gödel Without Tears freely downloadable at

Or get out of the library a copy of my Introduction to Gödel's Theorems.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.