Here is a continuation of this post. Long story short, I am learning number theory from a book [1]. The author of this book [1] begins his own analysis of number theory with the “system of rational numbers, i.e. of numbers integral and fractional, positive and negative, including zero.” There is a brief mention that the rational numbers follow from operations on “the ordered sequence of natural numbers 1,2,3,…” Note that the word “system” is another word for “set,” in the context of number theory. In this reference [1], a variable for a rational number is given by a small italic character such as $ a, b, x,$ and $ y$. One important point is that division is well defined for the set of rational numbers with the one exception of division by zero, which is undefined. The author then details the Fundamental Laws of Arithmetic. Three laws for addition seem worth noting, so I copy them here [1]. Commutative Law: $ a + b = b + a$ Associative Law: $ (a+b) + c = a + (b + c)$ Law of Monotony: $ a < b$ always implies $ a + c < b + c$ I think these three laws are fairly self-evident; given a rational number of objects, the order in which I count them–or group them–does not matter. I can think of the addition process of two numbers as preceding by default in an order from left to right in the absence of other symbols such as parentheses. Furthermore, parentheses indicate the order in which arithmetic operations should be performed–quantities in parentheses take precedence by construction. Finally, if I have two collections $ A$ and $ B$ with the same rational number of objects and I add to collection $ B$ a greater rational number of objects […]