Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Godel's incompleteness theorems. Proof sketch for Godel's first incompleteness theorem, Mechanism (philosophy), Mathematical induction, Principia Mathematica, Zermelo-Fraenkel set theory, Proof theory, Euclidean geometry, Diagonal lemma