Theorem

A theorem is an idea that is proven true.

We use rules to show why it works. These rules are called axioms.

We use axioms to build new ideas. Some ideas are easy to see. Others are very hard to find. Some people call a hard idea "deep."

A deep idea might connect different parts of math. A theorem is not like a science rule. We do not use tests to prove math. We only use logic to show the truth.

In math, a theorem is an idea that has been proven.

A proof is a logical way to show something is true. It uses rules to build a path from known facts to a new idea. These starting facts are called axioms.

You can think of axioms as the base of a building. You use them to reach higher levels of math.

Some theorems are easy to see. People might call these "trivial." Other theorems are very hard to find. These are called "deep" theorems. A deep theorem might connect two different parts of math in a surprising way.

An example is Fermat's Last Theorem. It is simple to say, but very hard to prove.

Math is different from science. Scientists use tests and experiments to study the world. A math theorem does not need a test. It only needs a correct proof. Some proofs are so long that only a computer can check them. This happens with the four color theorem. Even then, the truth comes from logic, not from looking at the world.

A theorem is a special kind of statement in math. It is an idea that has been proven to be true. To prove a theorem, you must use a logical argument. This argument follows strict rules to show a new idea must be true.

Mathematicians call these rules inference rules. They use them to move from known facts to new conclusions. A theorem is more than just a guess. If a mathematician is not sure yet, they call it a conjecture. A conjecture might become a theorem if someone finds a proof.

Every proof starts with a set of basic facts. These starting facts are called axioms or postulates. You can think of axioms as the foundation of a house. You cannot prove them, so you accept them as true to start.

From these axioms, you can build many other ideas. In mainstream math, people often use Zermelo-Fraenkel set theory. This system uses specific axioms to help build math. You can also use Peano arithmetic for certain types of math. By using these rules, you can reach much higher levels of logic.

History shows that our ideas about axioms have changed. Long ago, people thought axioms were always self-evident truths. For example, Euclid used axioms to prove things about triangles. He showed that the angles in a triangle always add up to 180 degrees.

Later, mathematicians found different types of geometry. These are called non-Euclidean geometries. In these new systems, the angles of a triangle are not 180 degrees. This happened because people changed one of Euclid's rules. This discovery was part of a big moment called the foundational crisis. It taught us that math depends on the rules you choose to use.

Mathematicians use different names for different kinds of results. Some results are very important and are called theorems. Other results are less important. A mathematician might call a smaller result a lemma or a proposition. They might also use the word corollary for a result that follows quickly.

Some theorems are very simple to understand. People call these "trivial" theorems. Other theorems are very hard to solve. These are called "deep" theorems. Fermat's Last Theorem is a famous example of a deep theorem. It is easy to say but was very hard to prove.

Math is very different from science. Scientists study the world through experiments and tests. They look for evidence to see if a theory works. A math theorem does not need an experiment. Its truth comes only from the logic of the proof.

Some proofs are so long that humans cannot check them alone. The four color theorem is one such example. It was proven using a computer to search for answers. This shows that even with computers, the truth stays rooted in logic. Math stays true regardless of how the physical world looks.

In the world of mathematics, a theorem is a statement that has been proven to be true. It is not a guess or a hunch. Instead, it is a logical consequence of a specific set of rules and starting facts. To reach a theorem, a mathematician must construct a proof. A proof is a logical argument that uses inference rules to move from known facts to a new conclusion.

These rules belong to a deductive system. This system ensures that if you start with true information, your conclusion must also be true. While some mathematicians use purely symbolic proofs, many prefer using natural language, like English, to explain their reasoning. This makes the logic easier for other people to read and check.

Every mathematical system begins with a foundation called axioms or postulates. Axioms are basic statements that are accepted as true without proof. They serve as the starting point for all further reasoning. A theory is built by taking these axioms and applying deducing rules to them. The resulting statements are the theorems of that theory. In mainstream mathematics, these foundations are often based on Zermelo–Fraenkel set theory with the axiom of choice, known as ZFC. Other systems might use less powerful foundations, such as Peano arithmetic.

The validity of a theorem depends entirely on the correctness of its proof within that specific system.

Mathematicians use different names to describe the importance of various results. While the most significant results are called theorems, others have different labels. A lemma is a smaller result used as a stepping stone toward a larger proof. A proposition is a statement that is true but perhaps less central than a theorem. A corollary is a result that follows almost immediately from a theorem that has just been proven.

This hierarchy helps mathematicians organize the vast landscape of mathematical ideas by their impact and complexity.

Historically, the understanding of theorems underwent a massive change during the foundational crisis of mathematics. Until the late 19th century, axioms were viewed as self-evident truths about the physical world. For example, Euclid used his postulates to prove that the interior angles of a triangle always sum to 180 degrees. However, mathematicians later discovered non-Euclidean geometries. By changing one of Euclid's postulates, they created new systems where triangle angles do not sum to 180 degrees.

This showed that a theorem's truth depends on the specific axioms being used. A statement can be true in one system and false in another.

This shift led to a more rigorous way of defining mathematical truth. In modern math, a theorem is a well-formed formula within a specific theory. This means the truth of a theorem is independent of its meaning in the real world. It only matters that the logic follows the chosen axioms. This independence is actually very useful. It allows mathematicians to take results from one area of math and apply them to a completely different area.

Even though axioms can be abstractions, the logical connections they create are incredibly powerful.

Some theorems are described by their level of difficulty or beauty. A "trivial" theorem is one that follows very simply from definitions or axioms. On the other hand, a "deep" theorem might be easy to state but requires a very complex proof. Fermat's Last Theorem is a famous example of a deep theorem.

Other theorems are so complex that they require computers to verify. The four color theorem is a notable example. It was proven by using a computational search to check many possibilities. While some mathematicians initially questioned this, computer-assisted proofs are now widely accepted.

It is also important to distinguish mathematical theorems from scientific theories. Science is based on the natural world and relies on experimentation. A scientific theory is falsifiable, meaning it can be proven wrong if an experiment fails to match a prediction. Mathematics is different because it is purely deductive. A theorem does not need an experiment to be true. Its justification comes from logic alone.

While science describes how the world behaves, theorems describe the necessary consequences of abstract rules.