https://maximummathematics.com/books/foundational-mathematics/proof/axioms-definitions-theorems-and-proofs/index.htmlOver the past two chapters, we’ve been building up a system of mathematical logic — what propositions are, how to determine their truth, when two propositions are equivalent, and how to use propositions in arguments to make valid deductions. However, this isn’t how most of mathematics is communicated. Most of us understand math in terms of numbers and geometric shapes: arithmetic, algebra, trigonometry, lines and angles, polygons and circles, graphs and equations. What we’ve done so far looks very different. What gives?Hugoen-US