Modern mathematics is built on set theory, itself a logical system. Logic provides the structure and principles underpinning mathematical reasoning. Concepts such as implication, equivalence ...