If, Then, Set, Go

This is the second part in a series, building on informal logic and moving into the foundations of formal reasoning, mathematical proofs, and set theory. It covers key concepts like propositional and predicate logic, proof techniques, and introductory axiomatic set theory — the tools needed for precise mathematical thinking.