| Verity | Concept | |
| Subtree | Concept | |
| Weight (strings) | Concept | |
| Interrogative | Concept | |
| Crown graph | Concept | |
| Commuting graph | Concept | |
| Critical number | Concept | Real functions |
| McMullen's g-conjecture | Concept | |
| Combinatory terms | Concept | |
| Nonzero subspaces of R^n have a basis and a well-defined dimension | Theorem | Linear and multilinear algebra; matrix theory |
| Capacitated minimum spanning tree | Concept | |
| Rank–nullity theorem for matrices | Theorem | Linear and multilinear algebra; matrix theory |
| Combinatorialism | Concept | |
| Hamiltonian decomposition | Concept | |
| Ear | Concept | |
| Nth root | Concept | |
| Explosion | Concept | |
| Distance-regular graph | Concept | |
| Free-by-cyclic group | Concept | |
| Molecular proposition | Concept | |
| Monotonic law for multiplication of integers | Theorem | Order, lattices, ordered algebraic structures |
| One is a two-sided multiplicative identity of the natural numbers | Lemma | Mathematical logic and foundations |
| Homogeneously Suslin set | Concept | |
| Henson graph | Concept | |
| Holomorph (mathematics) | Concept | |
| Domatic | Concept | |
| Z-transform | Definition | Integral transforms, operational calculus |
| Quaternary | Concept | |
| Substitutional quantifier | Concept | |
| Spanner | Concept | |
| Philonian conditional | Concept | |
| Weak paraconsistency | Concept | |
| Strictly simple group | Concept | |
| Vertex connectivity | Concept | |
| Church's thesis (constructive mathematics) | Concept | |
| Planar | Concept | |
| Inductive | Concept | |
| Egyptian fraction | Concept | |
| Fundamental sequence (set theory) | Concept | |
| Inverse (logic) | Concept | |
| S5 (modal logic) | Concept | |
| Angular resolution (graph drawing) | Concept | |
| Neighbour | Concept | |
| Autological | Concept | |
| Sqb2 | Concept | |
| Hypercube graph | Concept | |
| Weakening | Concept | |
| Dynamic modal logic | Concept | |
| Nand | Concept | |
| Consistency | Concept | |
| String graph | Concept | |
| History of the function concept | Concept | |
| Common graph | Concept | |
| Alon–Boppana bound | Concept | |
| Asymmetry | Concept | |
| Separation number | Concept | |
| Additively | Concept | |
| Ancestral | Concept | |
| Minimal | Concept | |
| Right-narrow | Concept | |
| Harmonious coloring | Concept | |
| Degeneracy (graph theory) | Concept | |
| Associativity of multiplication of natural numbers | Theorem | Mathematical logic and foundations |
| Addition of integers is commutative, associative and cancellative | Theorem | Number theory |
| Expander | Concept | |
| Commutativity of multiplication of natural numbers | Theorem | Mathematical logic and foundations |
| Abelian logic | Concept | |
| K-set (geometry) | Concept | |
| Quasi-random graph sequence | Concept | |
| Biconnected | Concept | |
| Monotonic law for addition of natural numbers | Theorem | Mathematical logic and foundations |
| Complete infinity | Concept | |
| Büchi arithmetic | Concept | |
| Pluralism | Concept | |
| Dependency relation | Concept | |
| Prewellordering | Concept | |
| Simply infinite set | Concept | |
| Truth-value glut | Concept | |
| Weak negation | Concept | |
| Kleene's O | Concept | |
| Post consistency | Concept | |
| Type class | Concept | |
| Triangle-free graphs of every chromatic number | Proposition | Combinatorics |
| Existential instantiation | Concept | |
| Abstract object | Concept | |
| Supercompact | Concept | |
| Modal realism | Concept | |
| Ontic vagueness | Concept | |
| Standard model (set theory) | Concept | |
| Transitive | Concept | |
| Spherical braid group | Concept | |
| Picard's theorem for systems with continuous partial derivatives | Theorem | Ordinary differential equations |
| Generalized binomial coefficient at minus one half | Lemma | Combinatorics |
| Alternative formula for the variance of a random variable | Proposition | Probability theory and stochastic processes |
| Empty set axiom | Concept | |
| Traceable | Concept | |
| STIT logic | Concept | |
| Infinity axiom | Concept | |
| Sqb3 | Concept | |
| General solution of x'' = Ax with distinct nonpositive eigenvalues | Theorem | Ordinary differential equations |
| Cocountability | Concept | |
| Relative consistency proof | Concept | |
| Lattice (discrete subgroup) | Concept | |
| Epistemic constraint | Concept | |
| Putnam's model-theoretic argument | Concept | |
| Schröder–Bernstein theorem for finite sets | Proposition | Mathematical logic and foundations |
| 2-groups | Concept | |
| Clebsch invariant | Concept | |
| Hamming graph | Concept | |
| Orthogonality of eigenfunctions of the equation x'' + lambda x = 0 with standard boundary conditions | Theorem | Ordinary differential equations |
| Formula for the number of surjections between finite sets | Theorem | Combinatorics |
| Possibility | Concept | |
| Non-standard logic | Concept | |
| Extraction sums of squared loadings | Concept | |
| Accessibility relation | Concept | |
| Bezoutic | Concept | |
| Negation consistency | Concept | |
| Biconditional elimination | Concept | |
| Jucys–Murphy element | Concept | |
| Paving matroid | Concept | |
| Weak mathematical induction | Concept | |
| Inclusion–exclusion formula for elements with none of the properties | Theorem | Combinatorics |
| Harmony | Concept | |
| Kleene–Brouwer order | Concept | |
| Existence predicate | Concept | |
| Subordinate connective | Concept | |
| Propositional connective | Concept | |
| Existence and uniqueness for second-order linear initial value problems | Theorem | Ordinary differential equations |
| Abstraction principle | Concept | |
| Stratified | Concept | |
| Incident | Concept | |
| Recognizable | Concept | |
| Double graph | Concept | |
| Group ring | Definition | Associative rings and algebras |
| Less | Concept | |
| Root system | Definition | Nonassociative rings and algebras |
| Sqbf | Concept | |
| Attainable null space | Definition | Functional analysis |
| Mixed | Concept | |
| Independent | Concept | |
| Reduction (computability theory) | Concept | |
| Convolution of central binomial coefficients | Corollary | Combinatorics |
| Child | Concept | |
| o-proposition | Concept | |
| Ratio and root limits give the radius of convergence | Theorem | Functions of a complex variable |
| Recurrence for the falling factorial | Lemma | Combinatorics |
| CLRg property | Concept | |
| Exchange | Concept | |
| Transitivity of the pair relation for constructing the integers | Lemma | Number theory |
| Degree-theoretic semantics | Concept | |
Math 2.0