Mathematics is not a loose collection of disconnected techniques. It is a single, evolving system of abstraction — one that grows by resolving contradictions and compressing patterns into reusable structures. Every major breakthrough, from irrational numbers to non-Euclidean geometry to Gödel's incompleteness theorems, follows the same arc: a limitation is encountered, a crisis erupts, and a new layer of abstraction is forged to resolve it.
This knowledge base traces that arc across nine layers of mathematics, from the formal logic that underlies all reasoning to the category theory that reveals the deep unity binding every layer together.
A working reference of essential terms spanning all nine layers of the mathematical hierarchy. Terms are grouped alphabetically; hover-tooltip definitions are provided at the bottom for use across the knowledge base.
A group \((G, \ast)\) in which the operation is commutative: \(a \ast b = b \ast a\) for all \(a, b \in G\).
Algebraic Closure
A field extension in which every non-constant polynomial has a root. \(\mathbb{C}\) is the algebraic closure of \(\mathbb{R}\).
Axiom
A statement accepted without proof that serves as a starting point for a deductive system.
Axiom of Choice
For any collection of non-empty sets, there exists a function selecting one element from each set. Equivalent to Zorn's lemma and the well-ordering theorem.
A measure of the "size" of a set. Two sets have equal cardinality if a bijection exists between them.
Category
A collection of objects and morphisms (arrows) between them, equipped with composition and identity morphisms satisfying associativity and identity laws.
Cauchy Sequence
A sequence \((a_n)\) in a metric space where for every \(\varepsilon > 0\) there exists \(N\) such that \(d(a_m, a_n) < \varepsilon\) for all \(m, n > N\).
Commutative Ring
A ring in which multiplication is commutative: \(ab = ba\).
Complex Number
An element of \(\mathbb{C} = \{a + bi \mid a, b \in \mathbb{R}\}\), where \(i^2 = -1\).
Conjecture
A mathematical statement believed to be true but not yet proven.
Continuity
A function \(f\) is continuous at \(a\) if \(\lim_{x \to a} f(x) = f(a)\). Intuitively, small changes in input produce small changes in output.
Convergence
A sequence \((a_n)\) converges to \(L\) if for every \(\varepsilon > 0\) there exists \(N\) such that (
Corollary
A result that follows directly from a theorem with little or no additional proof.
A partition of \(\mathbb{Q}\) into two non-empty sets \((A, B)\) where every element of \(A\) is less than every element of \(B\) and \(A\) has no greatest element. Used to construct \(\mathbb{R}\).
Derivative
The instantaneous rate of change of \(f\) at \(x\): \(f'(x) = \lim_{h \to 0} \frac{f(x+h) - f(x)}{h}\).
Distribution
A probability measure on a measurable space describing the likelihood of outcomes for a random variable.
A function \(f\) where \(f(a) = f(b) \implies a = b\). Also called "one-to-one."
Integral
The Riemann or Lebesgue integral measures the "accumulated value" of a function over a domain. \(\int_a^b f(x)\,dx\).
Irrational Number
A real number that cannot be expressed as a ratio of integers. Examples: \(\sqrt{2}\), \(\pi\), \(e\).
Isomorphism
A bijective homomorphism — a structure-preserving map with a structure-preserving inverse. Two objects are isomorphic if they are "algebraically the same."
A measurable function from a probability space to \(\mathbb{R}\) (or \(\mathbb{R}^n\)).
Ring
A set equipped with two operations (addition and multiplication) where addition forms an abelian group, multiplication is associative, and multiplication distributes over addition.
A propositional formula that is true under every truth-value assignment. Example: \(P \lor \lnot P\).
Theorem
A mathematical statement proven true within a formal system.
Topology
The study of properties preserved under continuous deformations. A topology on a set \(X\) is a collection of "open" subsets closed under arbitrary unions and finite intersections.
Transcendental Number
A real or complex number that is not a root of any non-zero polynomial with integer coefficients. Examples: \(\pi\), \(e\).
Tree
A connected acyclic graph. Equivalently, a graph on \(n\) vertices with exactly \(n - 1\) edges and no cycles.
A set \(V\) over a field \(F\) equipped with addition and scalar multiplication satisfying eight axioms (closure, associativity, distributivity, identity elements, inverses).