Math and logic are deductive systems, where the conclusion of a successful argument follows necessarily from its premises, given the axioms of the system you’re using: number theory, geometry, predicate logic, etc.
- Proofs, Implications, and Models
- Logical Pinpointing
- Standard and Nonstandard Numbers
- Gödel's Completeness and Incompleteness Theorems
- Second-Order Logic: The Controversy