How we analyze numbers discretely (not continuously). Concepts Math Proof Quantifier Logical Connectives Logical Equivalence Laws Rules of Inference