>>11987433Not a whole lot. A little bit of number theory is helpful, being comfortable with prime factorizations and/or chinese remainder theorem (depending on the choice of the coding function). If you've got enough free time to work through a textbook, Enderton - An Introduction to Mathematical Logic will get you through the Godel theorems and beyond
