What are the prerequisites for studying mathematical logic?

If you have mathematical background, I recommend Hannes Leitgeb's Mathematical Logic lecture notes, which introduces modern first-order logic up to Godel's first incompleteness theorem, with a conventional kind of deductive system, and has exercises and solutions.

Another good reference is Stephen Simpson's Mathematical Logic lecture notes for his Math 557 course, which covers some basic model theory and proof theory. Stephen uses an unconventional deductive system, and so his proof of the semantic completeness theorem is also different from the conventional.

If you just want to know precisely how to perform absolutely rigorous logical reasoning in practice, I strongly recommend learning this programming-inclined variant of Fitch-style natural deduction. There are many reasons for this. Firstly, it is practical, unlike many deductive systems that are easy to analyze but totally impractical to use (such as Hilbert-style or tree-style systems). Secondly, it is quite self-explanatory (every logician can understand it even without knowing it). Thirdly, its use of restricted quantifiers makes it much more intuitive and user-friendly than standard first-order logic with unrestricted quantifiers.

The best alternative I have found as of today is in Language, Proof and Logic (see sections 6,13 on "Formal Proofs"). This system is also a Fitch-style system. In my opinion, its ∃-elim mechanism is not convenient for practical use, compared to mine. But its main deficiency is that it does not have restricted quantifiers. Incidentally, this issue also shows up in non-conventional quantifiers (section 14.4), which are most naturally viewed as special restricted quantifiers.

If you have a bit of programming background, you might enjoy reading simple computability proofs of the generalized syntactic incompleteness theorem, which are based on a very neat idea from Stephen Cole Kleene's Mathematical Logic. A more conventional approach can be found in Peter Smith's excellent Godel without tears that also includes a bit about provability logic.

For a really concise reference that covers quite a lot of stuff that is not covered by the others, I recommend A Concise Introduction to Mathematical Logic by Wolfgang Rautenberg, but this is not so suitable for a first introduction to logic.


I would recommend starting with expositional material and history, coupled with some introductory maths textbooks. The history will give you context and you might start to see how there hasn't been a linear progression of mathematics from some pure logic to now - rather, our current formal logic is a fairly recent attempt to be more confident in the foundations of our mathematical intuitions.

Then the exposition will give you insight into what mathematical logic is, without you having to grapple with whether you personally can do it. But all of this will be too vague unless you really try and do maths. I think that's what the comments are getting at - you just need to immerse yourself in the world that is maths to see how it all fits together. The links in the spider web are many and diverse, and impossible to see from the outside.

I would recommend starting with early attempts at logic and foundations, such as Euclid's Elements - this was the start of it all. Also consider doing set theory, as lots of logical issues were attempted to be resolved by it - a good exposition is 'Logicomix' - Apostolos Doxiadis.

To find a real example of fairly modern axiomatics, try reading Paul Halmos' 'Naive Set Theory'; this is a well-written and well-explained use of axioms to build a theory.

Best of luck - in such a venture, rather than finding the best starting place, I would simply recommend that you start. Once you're in, you can start to navigate.


This is an old question, butlet me plug my favorite logic textbook: "Computability and Logic" by Boolos, Burgess, and Jeffrey. As the name implies, it has a strong computability-theoretic focus which you may not be interested in; however, it also has a self-contained treatment of first-order logic logic (chapters 9-10 and 12-14) which I found the clearest by far of the books I had access to when I was first learning this stuff. Its presentation of Godel's theorems (chapters 11 and 15-18, building on chapters 1-4 and 6-7) is also excellent, in my opinion. (And besides, computability theory is really cool.)

It ends with a collection of further topics; some of this material is usually only covered in more advanced and specialized courses, but it's actually quite accessible, so it's nice to have it in one place in a more introductory text. I'm not sure I would have chosen those exact topics to include rather than others, but it's certainly a reasonable selection.