Foundations of Arithmetic

Introduction to Arithmetic Arithmetic is the branch of mathematics that deals with numbers and the operations we perform on them. At its most basic level, arithmetic focuses on four fundamental operations: addition, subtraction, multiplication, and division. However, the scope of arithmetic can expand to include exponentiation (raising numbers to powers), extraction of roots, and logarithms. The depth of arithmetic can vary depending on context—sometimes we work only with natural numbers (the counting numbers), but other times we extend arithmetic to encompass integers, rational numbers, real numbers, and even complex numbers. Types of Numbers To understand arithmetic, you need to be familiar with different number systems. Think of these as nested categories, where each type of number builds upon the previous one. Natural Numbers and Whole Numbers Natural numbers are simply the counting numbers: 1, 2, 3, 4, ... We denote the set of all natural numbers with the symbol $\mathbb{N}$. Whole numbers extend natural numbers by adding zero, so they are 0, 1, 2, 3, ... We write this set as $\mathbb{W}$. The distinction is subtle but important: natural numbers don't include zero, but whole numbers do. Different textbooks sometimes define natural numbers to include zero, but for consistency, we'll treat them as separate here. Integers Integers expand the number system further by including negative numbers. Integers are: ..., -3, -2, -1, 0, 1, 2, 3, ... We denote the set of integers with $\mathbb{Z}$. Think of integers as whole numbers that can point in either direction on a number line. This is useful in real-world contexts like temperature (below zero) or debt (negative money). Rational Numbers Rational numbers are numbers that can be expressed as a ratio of two integers. We write a rational number as $\frac{p}{q}$, where $p$ and $q$ are integers and $q \neq 0$ (we can't divide by zero). The key word here is ratio—rational numbers are exactly those that can be written as fractions. Examples include: $\frac{1}{2}$ (one-half) $\frac{3}{4}$ (three-quarters) $\frac{-5}{2}$ (negative five-halves) $5$ (which equals $\frac{5}{1}$) Decimal fractions like $0.3$ or $25.12$ are also rational numbers, because they can be rewritten as fractions with denominators that are powers of 10. For instance, $0.3 = \frac{3}{10}$. An important property: every rational number has either a finite decimal representation (like $0.25$) or a repeating decimal representation (like $\frac{1}{3} = 0.333...$). If a decimal terminates or repeats, you can always express it as a fraction. We denote the set of all rational numbers with $\mathbb{Q}$. Irrational Numbers Now we encounter numbers that cannot be expressed as a ratio of two integers. These are irrational numbers. Classic examples include: $\sqrt{2} \approx 1.414213562...$ $\pi \approx 3.14159265...$ The golden ratio $\phi \approx 1.618...$ What makes these numbers "irrational"? Their decimal representations go on forever without repeating. You can never write them as a simple fraction, no matter how hard you try. Unlike rational numbers with their repeating patterns, irrational numbers have no pattern to their decimal digits—this is one of the most counterintuitive aspects of the number system for students first encountering it. Real Numbers Real numbers combine both rational and irrational numbers into one complete number system. The set of real numbers, denoted $\mathbb{R}$, includes everything we've discussed so far: integers, fractions, decimals, and numbers like $\pi$ and $\sqrt{2}$. The number line is the perfect way to visualize real numbers—every point on the line corresponds to a real number, and every real number corresponds to exactly one point on the line. Cardinal and Ordinal Numbers There's one more distinction worth understanding. Cardinal numbers answer the question "how many?"—they represent quantity. When we say "I have three apples," three is a cardinal number. Ordinal numbers answer the question "what position?"—they represent order or sequence. When we say "I came in first place," first is an ordinal number. Other examples: second, third, tenth, etc. <extrainfo> Axiomatic Foundations of Arithmetic The content below explains the mathematical foundations of arithmetic. This material is theoretically important but is typically not directly tested on introductory arithmetic exams. It's included here for completeness and for students in more advanced mathematics courses. The Role of Axioms Mathematicians build the entire structure of arithmetic from a small set of starting assumptions called axioms. These are self-evident truths that we accept without proof. From these few axioms, every property and rule of arithmetic can be logically derived. This approach ensures that arithmetic has a solid, logical foundation. Dedekind–Peano Axioms The most famous axioms for natural numbers are the Dedekind–Peano Axioms. They state: Zero is a natural number. Every natural number has a successor (the next number) that is also a natural number. The successors of different natural numbers are always different. (If $a \neq b$, then successor($a$) $\neq$ successor($b$).) Zero is not the successor of any natural number. If a set contains zero and is closed under the successor operation (meaning if it contains a number, it contains the next number), then it contains all natural numbers. The successor function is how we build all natural numbers. We start with zero, apply the successor function once to get one, apply it again to get two, and so on. In modern notation, if we denote the successor of $n$ as $S(n)$: $0$ is given $1 = S(0)$ $2 = S(1)$ $3 = S(2)$ And so forth Set-Theoretic Construction Mathematicians have shown that these axioms can be realized through sets. Here's how: Zero is defined as the empty set: $0 = \emptyset$ One is the set containing the empty set: $1 = \{\emptyset\}$ Two is the set containing both the empty set and the set containing the empty set: $2 = \{\emptyset, \{\emptyset\}\}$ Each subsequent number includes all previous numbers in its set This construction might seem overly abstract, but it demonstrates that the entire system of natural numbers can be built from the single concept of "set." Constructing Larger Number Systems Once natural numbers are defined, larger number systems are built systematically: Integers are constructed as ordered pairs of natural numbers, where the pair $(a, b)$ represents the integer $a - b$. This elegantly handles negative numbers: the pair $(2, 5)$ represents $2 - 5 = -3$. Rational numbers are constructed as ordered pairs of integers, where the pair $(p, q)$ with $q \neq 0$ represents the fraction $\frac{p}{q}$. Real numbers require a more sophisticated construction. One method uses Dedekind cuts, which partition all rational numbers into two sets: one containing all rationals less than our target real number, and another containing the rest. This construction captures both rational numbers (which create "cuts" between rationals) and irrational numbers (which create "cuts" that fall between all rationals, like $\sqrt{2}$). </extrainfo>