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