51728
First Order Logic and Gödel's Theorems
A study of First Order Mathematical Logic, covering the basics of Statement and Predicate Calculus: the ground on which First Order Theories are built. Completeness and consistency of such theories. Conclusion that number theory cannot be both consistent and complete.