Introduction

Mathematics begins with simple acts: counting, comparing, arranging, measuring, and asking what must be true. A child counting stones, a shopkeeper comparing prices, an engineer estimating stress, a scientist modeling infection, and a programmer designing an algorithm are all using mathematical thought in different forms. The symbols may become more advanced, but the underlying activity remains surprisingly steady: we look for structure, express it clearly, and reason from what is known to what follows.

This book is called Mathematics from First Principles because it tries to build each major idea from its starting point instead of treating mathematics as a long list of disconnected rules. A first principle is a basic idea or assumption from which other ideas can be developed. For example, before we solve equations such as

\[ 2x+5=17, \]

we need to understand what equality means, what a variable means, and why doing the same operation to both sides preserves equality. Without those first principles, equation-solving becomes memorized movement. With them, it becomes reasoning.

Mathematics is often described as the study of patterns, structure, quantity, and change. Keith Devlin popularized the phrase “the science of patterns” as a modern way to describe mathematics, emphasizing that mathematics is not only about numbers but also about order, form, relationships, and repeated structures (Devlin, 1994). This is a useful starting point. Numbers are patterns of quantity. Algebra is the study of patterns expressed with symbols. Geometry studies patterns of shape and space. Calculus studies patterns of change and accumulation. Probability studies patterns of uncertainty. Linear algebra studies patterns of vectors, transformations, and systems.

A simple example shows how one idea can grow.

Suppose you notice:

\[ 1+3=4,\qquad 1+3+5=9,\qquad 1+3+5+7=16. \]

The answers are

\[ 4=2^2,\qquad 9=3^2,\qquad 16=4^2. \]

A pattern suggests itself: the sum of the first \(n\) odd positive integers is \(n^2\). In symbols,

\[ 1+3+5+\cdots+(2n-1)=n^2. \]

At first this is only a conjecture, which means a statement that seems likely to be true based on evidence but has not yet been proved. Checking more cases may strengthen our confidence, but examples alone do not prove the statement for every positive integer \(n\). A proof is a logical argument showing that a statement must be true under the stated assumptions. Later in the book, we will prove statements like this using several methods, including direct reasoning and mathematical induction.

This distinction between example, conjecture, and proof is one of the central habits of mathematics. George Pólya’s classic work on problem solving emphasizes that mathematics is learned not only by seeing finished results, but by asking good questions, trying special cases, looking for patterns, and then justifying the conclusion (Pólya, 1957). This book follows that spirit. We will compute, draw, experiment, and estimate; but when a claim needs proof, we will say so.

Why mathematics can feel difficult

Many learners experience mathematics as a set of procedures:

• “Move this term to the other side.”
• “Flip the fraction.”
• “Use the formula.”
• “Cancel these symbols.”
• “Differentiate using the rule.”

Procedures are useful, but they are dangerous when they are separated from meaning. For example, many students learn that dividing by a fraction means “multiply by the reciprocal.” Thus,

\[ 6\div \frac{2}{3}=6\cdot \frac{3}{2}=9. \]

This is correct, but why? One meaning of division is: “How many groups of this size fit into that amount?” The question

\[ 6\div \frac{2}{3} \]

asks how many pieces of size \(\frac{2}{3}\) fit into \(6\). Since each whole contains three thirds, \(6\) wholes contain \(18\) thirds. A piece of size \(\frac{2}{3}\) uses two of those thirds, so there are

\[ 18\div 2=9 \]

such pieces. The rule is not magic; it is compressed reasoning.

The same is true throughout mathematics. A formula is often a piece of reasoning saved for later use. A symbol is not decoration; it carries meaning. A graph is not merely a picture; it represents relationships. An equation is not an instruction to perform tricks; it is a statement that two expressions have the same value under certain conditions.

This book will repeatedly slow down at those points where symbols can become detached from meaning.

The main language of mathematics

Mathematics uses ordinary language, diagrams, symbols, and formal logic. Each has a role.

A symbol is a mark used to stand for an idea. For example, \(+\) stands for addition, \(=\) stands for equality, and \(x\) may stand for an unknown number, a variable input, or an element of a set, depending on context. Symbols allow long ideas to be written compactly, but they must be interpreted carefully.

An expression is a mathematical phrase that has a value when its parts are given values. For example,

\[ 3x+2 \]

is an expression. If \(x=5\), then the expression has value

\[ 3(5)+2=17. \]

An equation is a statement that two expressions are equal:

\[ 3x+2=17. \]

This equation is not merely an expression; it makes a claim. It says that the expression on the left has the same value as the expression on the right. Solving the equation means finding all values of \(x\) that make the claim true.

A function is a rule or relationship that assigns each allowed input exactly one output. For example,

\[ f(x)=x^2 \]

defines a function that sends \(x\) to \(x^2\). If the input is \(3\), the output is \(9\). If the input is \(-3\), the output is also \(9\). This single idea will later connect algebra, graphs, calculus, probability, and linear algebra.

A model is a mathematical representation of some situation. For example, if a car travels at a constant speed of \(60\) kilometers per hour, then the distance \(d\) traveled after \(t\) hours can be modeled by

\[ d=60t. \]

This model is useful only under assumptions: the speed is constant, time is measured in hours, and distance is measured in kilometers. If the car stops at traffic lights or changes speed, the model may need to be improved. Mathematical models are powerful precisely because they make assumptions explicit.

Richard Courant and Herbert Robbins presented mathematics as a living subject shaped by problems, ideas, and methods rather than as a finished list of formulas (Courant & Robbins, 1996). That attitude is important here. We will learn techniques, but the techniques will be connected to questions.

The path of this book

The early chapters begin with numbers, operations, and algebra. This may seem familiar, but the goal is not merely review. We will examine the structure behind arithmetic: why operations behave as they do, how fractions and decimals express the same quantities in different forms, why exponents follow certain laws, and how algebra extends arithmetic by allowing unknown or changing quantities.

Then we move to functions and graphs. A function is one of the most important organizing ideas in modern mathematics. Once we understand functions, many later topics become connected:

• A line is a function with constant rate of change.
• A quadratic function creates a parabola.
• An exponential function models repeated multiplication.
• A logarithm reverses an exponential relationship.
• A derivative measures how a function changes.
• An integral measures accumulated quantity.
• A probability distribution can be studied through functions.
• A linear transformation is a special kind of function between vector spaces.

After algebra and functions, the book develops geometry and trigonometry. Geometry teaches us to reason about shape, distance, angle, and space. Trigonometry connects geometry with periodic behavior, such as waves, circular motion, and oscillation.

The middle chapters introduce proof, logic, sets, and discrete structures. These chapters strengthen the reader’s ability to make precise claims. A statement is a sentence that is either true or false. For example, “\(7\) is prime” is a true statement. “Every even number is divisible by \(4\)” is a false statement. “What is \(x\)?” is not a statement because it is a question, not something true or false. Mathematical proof depends on knowing exactly what kind of sentence we are dealing with.

Then calculus begins. Calculus studies change and accumulation. A limit describes what a quantity approaches. A derivative measures instantaneous rate of change. An integral measures accumulation, such as area under a curve or total distance traveled from velocity. These ideas were historically central to the mathematical description of motion, but they now appear across physics, biology, economics, statistics, machine learning, and many other fields.

Later chapters introduce sequences, series, vectors, matrices, linear transformations, multivariable thinking, probability, statistics, differential equations, abstract algebra, real analysis, and modern geometry. These topics may sound advanced, but each will be built from simpler ideas. For example, a vector can first be understood as an arrow with magnitude and direction, or as an ordered list of numbers such as

\[ (2,-1,5). \]

A matrix can first be understood as a rectangular array of numbers, such as

\[ \begin{pmatrix} 1 & 2\\ 3 & 4 \end{pmatrix}. \]

From these beginnings, we can study systems of equations, transformations of space, data, networks, and dynamical systems.

Abstraction: making ideas portable

One of the most important words in this book is abstraction. Abstraction means focusing on the essential structure of an idea while temporarily ignoring details that are not relevant.

For example, suppose you know that

\[ 2+3=3+2. \]

You also know that

\[ 10+7=7+10 \]

and

\[ \frac{1}{2}+\frac{3}{4}=\frac{3}{4}+\frac{1}{2}. \]

Instead of treating these as separate facts, mathematics abstracts the common structure:

\[ a+b=b+a. \]

This is called the commutative property of addition. It says that, for numbers where ordinary addition is defined, changing the order of the two addends does not change the sum.

Abstraction is not vagueness. It is precision at a higher level. When we write \(a+b=b+a\), we are not being less clear than in the example \(2+3=3+2\). We are saying something more general. A single statement now covers many cases.

But abstraction must be used carefully. Multiplication of ordinary numbers is commutative:

\[ ab=ba. \]

Matrix multiplication, however, is generally not commutative. For matrices \(A\) and \(B\), it is often true that

\[ AB\ne BA. \]

So the property depends on the mathematical system being used. This is one reason later chapters study algebraic structures such as groups, rings, and fields: they help us understand which rules apply in which settings.

Rigor and intuition

Mathematics needs both intuition and rigor.

Intuition is the sense of what an idea means, why it is plausible, and how it connects to examples. For instance, you may picture the derivative as the slope of a tangent line or as the speed shown by a speedometer at one instant.

Rigor is careful reasoning that makes assumptions clear and avoids hidden errors. A rigorous definition of derivative uses limits:

\[ f'(a)=\lim_{h\to 0}\frac{f(a+h)-f(a)}{h}, \]

provided this limit exists.

The intuitive picture helps us understand what the derivative is trying to measure. The rigorous definition tells us exactly when the derivative exists and how to compute it correctly. Daniel Velleman’s work on proof emphasizes that mathematical rigor is not merely formality; it is a disciplined way of making the structure of reasoning visible (Velleman, 2019).

This book will not ask you to abandon intuition. Instead, it will train intuition and rigor to work together. A graph can suggest a result. A numerical example can reveal a pattern. A diagram can guide a proof. But when we claim something is always true, we need reasoning strong enough to support that word “always.”

A small example of mathematical growth

Consider the problem:

Find the sum of the numbers from \(1\) to \(100\).

One direct method is to add:

\[ 1+2+3+\cdots+100. \]

But structure gives a better way. Pair the first and last terms:

\[ 1+100=101, \] \[ 2+99=101, \] \[ 3+98=101. \]

There are \(50\) such pairs, each with sum \(101\), so the total is

\[ 50\cdot 101=5050. \]

This example contains several themes of the book.

First, mathematics looks for structure. The important discovery is not just the answer \(5050\), but the pairing pattern.

Second, mathematics generalizes. The same reasoning gives the formula

\[ 1+2+3+\cdots+n=\frac{n(n+1)}{2} \]

for every positive integer \(n\).

Third, mathematics checks conditions. The pairing explanation is especially direct when \(n\) is even. If \(n\) is odd, there is a middle term. For example,

\[ 1+2+3+4+5 \]

can be paired as

\[ (1+5)+(2+4)+3=6+6+3=15. \]

The formula still works:

\[ \frac{5(5+1)}{2}=15. \]

A good mathematical argument must handle all cases it claims to cover.

Fourth, mathematics connects. This formula will later appear in algebra, sequences, induction, combinatorics, and even in the study of areas and sums that prepare the way for calculus.

What you should expect from yourself

You do not need to be “naturally gifted” to learn mathematics well. You do need patience, attention, and the willingness to revisit ideas. Mathematical understanding often grows in layers. A concept that feels unclear the first time may become natural after you see it in three different contexts.

When studying, ask:

• What does this symbol mean?
• What are the assumptions?
• Is this a definition, a rule, a theorem, an example, or a conjecture?
• Why is this operation allowed?
• Can I test the idea with a simple example?
• Can I explain it without copying the words?
• Does the result make sense in the original problem?

These questions are not signs of weakness. They are signs of mathematical maturity.

Euclid’s Elements became historically influential partly because it organized geometry around definitions, postulates, propositions, and proofs, showing how many results could be built from a small starting framework (Euclid, trans. Heath, 1956). Modern mathematics is vastly broader than Euclidean geometry, but the ideal remains powerful: begin clearly, reason carefully, and build.

This book is an invitation to that kind of learning. We will start with numbers and notation, then move steadily toward calculus, linear algebra, probability, proof, and modern mathematical thought. The path is long, but it is coherent. Each chapter is meant to make the next chapter more understandable.

Mathematics is not a wall of formulas. It is a language for structure, a method of reasoning, and a way of seeing hidden order. We begin with the simplest question: what are numbers, and how do we speak about them precisely?

References

Courant, Richard, and Herbert Robbins. What Is Mathematics? An Elementary Approach to Ideas and Methods. 2nd ed., revised by Ian Stewart, Oxford University Press, 1996.

Devlin, Keith. Mathematics: The Science of Patterns: The Search for Order in Life, Mind, and the Universe. Scientific American Library, 1994.

Euclid. The Thirteen Books of Euclid’s Elements. Translated with introduction and commentary by Thomas L. Heath, 2nd ed., Dover Publications, 1956.

Pólya, George. How to Solve It: A New Aspect of Mathematical Method. 2nd ed., Princeton University Press, 1957.

Velleman, Daniel J. How to Prove It: A Structured Approach. 3rd ed., Cambridge University Press, 2019.