Mathematical Logic Pro

Features Mathematical Logic Pro

A clear, rigorous and thorough exposition of: *The Propositional Calculus*The Predicate Calculus *Set Theory*The different kinds of continuity and their respective natures*The different kinds of number: cardinal, ordinal, rational, real, complex, hyper-complex, and transfinite *The set-theoretic foundations of cardinal arithmetic and the various generalizations thereof*The nature of formal languages *Diagonalization and Incompleteness*The nature of logic and of formal truth, and *A proof of the incompleteness of any given system of deduction.