Mathematics¶
← Back to Prime Abstractions by Origin Domain
161 primes originate from Mathematics and 75 more draw from it as a secondary origin — sort the Origin column to separate them. They span 73 subdomains; sort by that column to group them, or click any subdomain to filter to it.
| Prime | Origin | Subdomain | Description |
|---|---|---|---|
| Abstract Structure | Primary | An abstract structure is a system of typed elements, relations, operations, and constraints considered independently of any particular material carrier or notation, with identity determined by structure-preserving correspondence. | |
| Abstraction | Also draws from | — | Focus on core elements. |
| Addition | Primary | — | Combine two or more quantities, elements, contributions or increments through a typed binary operation that produces their sum. |
| Algorithm | Also draws from | — | Step-by-step problem-solving procedure. |
| Analogy | Also draws from | — | Transfer structure between domains. |
| Approximation | Primary | — | Good-enough representation. |
| Argument | Also draws from | An argument is an organized set of premises offered as reasons that support, justify, or make probable a conclusion under an identifiable relation of inference. | |
| Associativity | Primary | — | Grouping does not affect result. |
| Asymmetry | Primary | — | Directed imbalance in a relation whose two sides are not interchangeable under swap. |
| Asymptotic Behavior | Primary | In the limit, only the dominant term matters, so behavior is classified by growth class rather than exact value and small or fast-decaying contributions are discarded. | |
| Attractor | Primary | — | Identify an invariant state set toward which a nontrivial neighborhood of initial conditions approaches under a system's evolution, with the basin and mode of attraction stated explicitly. |
| Axiom | Primary | A claim a system declines to derive — a load-bearing starting point accepted without proof so that the rest of the structure can be built on top of it. | |
| Axiomatic Incompatibility | Primary | A small set of individually plausible axioms is provably jointly unsatisfiable, forcing a chosen trade-off. | |
| Basis | Primary | A minimal independent generating set — the smallest collection from which every element of a space can be produced, with no member derivable from the others. | |
| Bayesian Updating | Also draws from | — | Update beliefs with evidence. |
| Bijectivity | Primary | A correspondence that is exactly one-to-one and onto — no collisions, no gaps — so it is reversible and the two collections have equal size and information content. | |
| Bimodality | Primary | A distribution has two separated local maxima with a lower-density interval between them, a shape that constrains but does not by itself identify the process that produced the two modes. | |
| Birthday Problem | Primary | Pairwise collisions in a finite namespace become likely at the square root of its size, not half of it. | |
| Boundary | Also draws from | — | Defines system limits. |
| Boundedness | Primary | — | Values remain within limits. |
| Branch and Bound | Also draws from | — | Systematic search with pruning. |
| Canonical Form | Primary | A unique distinguished representative per equivalence class lets equivalence be tested by identity of representatives. | |
| Cardinality | Primary | — | Size of sets. |
| Cartesian Product | Primary | All combinations of independent dimensions, one choice per axis. | |
| Category | Primary | Describe a system by its arrows and their composition, not by what its objects are. | |
| Central Limit Theorem | Primary | Summing many independent finite-variance contributions yields a Gaussian envelope that forgets the shapes of its parts. | |
| Chaos | Primary | — | Unpredictable dynamics. |
| Closure | Primary | — | Ensures operations remain within a set. |
| Coaxiality | Primary | — | Two or more spatial entities are coaxial when their constitutive axes coincide, allowing placement, rotation, and radial offset to be reasoned about relative to one common line. |
| Commutativity | Primary | — | Order of inputs does not affect output. |
| Complement | Primary | Everything in a declared universe that is not in a designated subset. | |
| Completeness | Primary | — | No gaps in structure. |
| Complexity | Also draws from | — | Measures system intricacy. |
| Complexity (Time/Space) | Also draws from | — | Resource scaling with input size. |
| Composition | Also draws from | — | Arranges components into a cohesive whole. |
| Conditional Entropy | Also draws from | Measure the expected uncertainty that remains about a target after a specified context is known. | |
| Conditional Probability | Primary | Re-normalize a probability measure to the information context that is taken as given. | |
| Conjugate Variables | Also draws from | — | Interlinked variable pairs. |
| Connectedness | Primary | A whole that cannot be split into parts with no relation crossing between them. | |
| Conservation Laws | Also draws from | — | Quantities remain constant. |
| Consistency | Primary | A set of commitments cannot jointly derive a contradiction. | |
| Constraint | Primary | — | Limits possibilities to guide outcomes. |
| Continuity | Primary | — | Smooth change without jumps. |
| Contradiction | Primary | A collection of commitments is contradictory when it jointly entails both a proposition and its negation, so no admissible interpretation can make every commitment hold together. | |
| Contraposition | Primary | Run an implication backward: from the absence of the consequence, infer the absence of the cause. | |
| Controllability | Also draws from | — | Ability to steer system. |
| Convergence | Primary | — | Movement toward stable state. |
| Convergent Evolution | Also draws from | Separate lineages independently arrive at the same form or solution under similar pressures, with no shared inheritance and no interaction between them connecting the outcomes — the same answer found more than once. | |
| Convexity | Primary | Mixtures preserve membership and the average of values dominates the value of the average. | |
| Convolution | Primary | Each output is a sliding, weighted local mixture of an input produced by one fixed kernel. | |
| Coordinate-free | Primary | — | Define and reason about an object through intrinsic relations whose truth is invariant under every admissible change of coordinates, basis, chart, or component representation. |
| Correlation | Primary | — | Systematic co-variation between variables, distinct from causation. |
| Correspondence Principle | Also draws from | — | New theories match old limits. |
| Covariance | Primary | Center two varying quantities, multiply their paired deviations, and average: the signed result reveals whether departures co-move while retaining their joint scale rather than normalizing it away. | |
| Cut | Primary | A partition of a network's vertices and the crossing edges, converting global connectivity into a local edge-set. | |
| Cycle | Primary | A closed path in a network that returns to its origin, opening return, foreclosing ordering, and creating a loop invariant. | |
| Decidability Computability | Also draws from | A class of yes/no questions admits a finite procedure that always terminates with the correct answer. | |
| Decomposition | Primary | — | Breaking a whole into parts that can be analyzed independently and recombined to reconstitute the whole, making complexity tractable through divide-and-conquer. |
| Deductive Reasoning | Also draws from | — | General to specific conclusions. |
| Dense Set | Primary | A smaller set reaches arbitrarily close to every point of a larger one. | |
| Detailed balance | Also draws from | — | Require every elementary transition channel at stationarity to be individually matched by its designated reverse, eliminating pairwise probability or material currents rather than only their aggregate. |
| Diagonal Impossibility | Primary | In a self-modeling system, a putative total analyzer is refuted by constructing an object engineered to make the analyzer's verdict on it contradict the property it decides. | |
| Dimension | Primary | — | Degrees of freedom in a system. |
| Dimensional Analysis | Also draws from | — | Ensures consistency in units. |
| Dimensionality Reduction | Also draws from | — | Reduce variables. |
| Directed Acyclic Graph | Primary | Directed edges with no return path impose a one-way order on a whole structure. | |
| Discrete vs. Continuous (Quantization) | Also draws from | — | Step vs continuous evolution. |
| Discreteness | Primary | — | Countable steps. |
| Discretization-Induced Artifact | Primary | Converting a continuous quantity into discrete buckets produces apparent structure that is a property of the bucket boundaries rather than of the underlying phenomenon. | |
| Disjoint union | Primary | — | Combine collections while tagging every member with its source so equal values from different sources remain distinct in the result. |
| Disjointness | Primary | Two or more populated collections share no element. | |
| Distance | Primary | A nonnegative measure or ordering of separation between two entities under a specified space, representation, path convention, or dissimilarity rule. | |
| Duality | Primary | — | Complementary perspectives. |
| Dynamic Programming | Also draws from | — | Solve via subproblem reuse. |
| Eigenvalue And Eigenvector | Primary | A transformation's invariant directions and the scalars by which it stretches them. | |
| Embeddability | Primary | Whether a structured substrate admits a conflict-free placement inside a constrained ambient target. | |
| Embedding | Primary | A structure-preserving injection of one system faithfully into a richer one. | |
| Empty Set | Primary | Absence made into a fully-typed, first-class object rather than an error. | |
| Entanglement | Also draws from | — | Linked distant states. |
| Epistemic Mode Of A Proposition | Also draws from | The same proposition can be held in different epistemic modes — asserted-fact, assumption, axiom, hypothesis, premise, belief, conjecture — and the mode, independent of the content, gates which operations are licensed on it: you may provisionally rely on an assumption, must test a hypothesis, cannot refute an axiom within its system, must discharge a premise. | |
| Equivalence Relation | Primary | — | Groups elements into equivalence classes. |
| Equivariance | Primary | — | A map whose output transforms in step with transformations of its input. |
| Eventual Realisation of Possibility | Primary | In a system subject to many independent trials, every outcome with non-zero per-trial probability eventually occurs, so design posture shifts from per-trial prevention to containment. | |
| Expected Value | Primary | Average a random quantity against its probability measure: the resulting linear functional compresses a distribution to its first moment while discarding dispersion, tails, and other shape. | |
| Exponentiation | Primary | — | Repeated multiplication scaling. |
| Factorization | Primary | Expressing one object as a product of same-type factors under its native operation. | |
| Falsifiability | Also draws from | A claim is scientific only if it could in principle be empirically refuted. | |
| Finiteness | Primary | — | Bound a collection, process, horizon, description, or resource so its members or steps can in principle be exhausted, completing enumeration rather than opening an unending remainder. |
| Fixed Point | Primary | A state a transformation leaves unchanged — self-consistency under update — organizing analysis into existence, uniqueness, stability, and basin of attraction. | |
| Flow | Also draws from | — | Structured movement of energy, matter, or information. |
| Formal System | Primary | Symbols, formation rules, axioms, and inference rules closed under mechanical derivation. | |
| Formalization | Primary | Rendering informal practice into explicit, codified, rule-governed form. | |
| Fractal Geometry | Primary | — | Self-similar patterns. |
| Frame of Reference | Also draws from | — | Observational perspective. |
| Function (Mapping) | Primary | — | Relates inputs to outputs. |
| Fuzzy Set | Primary | — | A fuzzy set makes belonging graded by assigning every candidate element a membership degree between zero and one, while retaining crisp sets as the endpoint-valued special case. |
| Game-Theoretic Strategy | Primary | — | Strategic interaction analysis. |
| Gauge Invariance / Gauge Symmetry | Also draws from | — | Equivalent representations. |
| Gradient | Primary | — | Distribution and change over space/time. |
| Graph Coloring | Primary | Conflict-free labeling so that no two items joined by a conflict edge share a label. | |
| Group | Primary | A set with an associative operation, identity, and inverses — reversible composable transformations. | |
| Heuristic | Also draws from | — | Mental shortcuts. |
| Idempotence | Primary | — | Repetition yields same result. |
| Identity Element | Primary | A distinguished input leaves every compatible element unchanged under a stated operation, supplying the do-nothing case that makes empty composition possible. | |
| Indexed family | Primary | — | Organize a collection by assigning one object to every element of a declared index set, allowing repetition and preserving the identity of positions. |
| Indifference Curves | Also draws from | — | Equal satisfaction sets. |
| Infinite Regress | Also draws from | — | Endless chain of explanation. |
| Infinity | Primary | — | Unbounded quantity. |
| Injectivity | Primary | A distinctness-preserving mapping in which distinct inputs never collide on one output. | |
| Instability | Also draws from | — | Amplifies perturbations. |
| Integer Linear Programming (ILP) | Also draws from | — | Discrete optimization with integer variables. |
| Intermittency | Also draws from | — | Irregular bursts. |
| Intersection | Primary | The elements common to all of several collections. | |
| Invariance | Primary | — | Properties unchanged under transformation. |
| Inversion | Also draws from | — | Reversal of structures. |
| Isomorphism | Primary | — | Structure-preserving mapping. |
| Iteration | Also draws from | — | Repeats steps to refine outcomes. |
| Jacobi identity | Primary | — | A skew bracket's three cyclic nestings cancel, making each element's adjoint action behave as a derivation and allowing local pairwise generators to compose into coherent higher-order structure. |
| Law of Identity | Also draws from | The law of identity states that every individuated object, value, or proposition is identical with itself under a fixed interpretation and time, conventionally formalized as a = a. | |
| Law of Large Numbers | Primary | As observations accumulate under a stable probabilistic generating process, their empirical average or relative frequency converges to the corresponding expectation, without imposing any balancing obligation on a particular finite sample or next trial. | |
| Limit (mathematics) | Primary | — | Identify a value or object that a varying process approaches arbitrarily closely under a declared notion of neighborhood, direction, indexing, and convergence. |
| Linear Combination | Primary | Scale each of several objects by a weight and add them together. | |
| Linear Independence | Primary | No member of a collection is reproducible as a weighted sum of the others. | |
| Linear Programming (LP) | Also draws from | — | Optimize linear objective with constraints. |
| Linearity | Primary | — | Proportional output. |
| Local Optimum | Primary | A point best within its neighborhood but not across the whole landscape. | |
| Local-to-Global Aggregation | Primary | Locally checkable properties promote to a global verdict under an explicit aggregation discipline. | |
| Manifold | Primary | A space that is locally flat but globally curved or topologically non-trivial. | |
| Marginal Analysis | Also draws from | — | Incremental effects. |
| Markov Decision Processes (MDPs) | Also draws from | — | Sequential decision-making under uncertainty. |
| Mathematical Induction | Primary | — | Proof method across natural numbers. |
| Measure | Primary | An additive rule that assigns non-negative size to subsets of a space. | |
| Metric | Primary | A distance function on pairs obeying non-negativity, symmetry, and the triangle inequality. | |
| Minimax Strategy | Primary | Choose the action whose worst possible outcome is the best worst possible outcome — minimize the maximum loss an adversarial environment can inflict. | |
| Modifiable Areal Unit Problem | Primary | Statistics computed on aggregated data change, sometimes reversing sign, when the boundaries used to aggregate are redrawn — the partition is a non-neutral analytical input. | |
| Monoid | Primary | Equip a set with one closed associative binary operation and a two-sided identity, creating the exact algebraic tier whose neutral element makes empty products and folds well-defined while still withholding inverses. | |
| Multiobjective Optimization | Also draws from | — | Balance competing objectives. |
| Multiplicative Random Growth | Primary | Independent proportional shocks compound a positive state multiplicatively, so its logarithm follows an additive random walk and, under finite-variance increments, its cross-sectional distribution tends toward log-normal. | |
| Multistability | Primary | — | A dynamical system supports multiple simultaneously stable long-run states or attractors, so history, perturbations, and initial conditions determine which persistent regime is realized. |
| Necessity and Sufficiency | Also draws from | Separates what an outcome requires from what guarantees it, and joins both directions only when each condition exactly characterizes the other. | |
| Negative Space | Also draws from | — | Empty space shaping form. |
| Neighborhood | Primary | The local-context window of elements close to a focal point under a proximity structure. | |
| Network | Primary | — | Models interactions between components. |
| Network Flow Models | Also draws from | — | Optimize flow across networks. |
| No Free Lunch Theorem | Primary | Averaged over all problem instances, no search, optimization, or learning procedure outperforms any other; a method's value is the match between its inductive bias and the problems it faces. | |
| Noether's Theorem | Also draws from | — | Symmetry links to conservation. |
| Non-Locality | Also draws from | Distant elements influence or correlate with each other without a chain of contiguous intervening contact — coupling that jumps the substrate rather than propagating through neighbors. | |
| Nonlinearity | Primary | — | Disproportionate output. |
| Optimization | Primary | — | Finds best solution under constraints. |
| Optimization Landscape | Primary | The topology of a value function over a configuration space, whose shape predicts which search strategies will succeed or get stuck. | |
| Order | Primary | — | Defines ranking or sequencing relationships. |
| Order of Magnitude | Primary | An order of magnitude is a logarithmic scale class that groups quantities by powers of a fixed base, conventionally ten, so multiplicative differences can be compared by integer-scale separation rather than exact value. | |
| Paradox | Also draws from | — | Contradictory but revealing truth. |
| Pareto Effect (80/20 Rule) | Also draws from | — | 80/20 distribution. |
| Pareto Efficiency | Also draws from | — | Optimal allocation. |
| Parrondo's Paradox | Primary | Two individually losing strategies, coupled through a shared state with opposite-signed regional effects, can combine into a winning one. | |
| Parsimony (Occam's Razor) | Also draws from | — | Prefer simplicity. |
| Partition | Primary | A division of a set into non-overlapping, collectively exhaustive blocks. | |
| Partition Dependence of Aggregates | Primary | Any statistic computed on partition-aggregated data is a function of the partition itself, not solely of the underlying data. | |
| Path | Primary | An ordered, traversable sequence of edges connecting one node to another through a relational structure. | |
| Pattern | Primary | — | Recognize a repeatable organization of elements or relations that remains identifiable across instances or transformations and supports compression, expectation or comparison beyond accidental resemblance. |
| Pattern (in Design) | Also draws from | — | Repeated motifs. |
| Periodicity | Primary | — | Regular cycles. |
| Permutation | Primary | Reassign every member or position of a collection exactly once, preserving membership while changing arrangement; the resulting bijective self-maps compose, invert, and decompose into cycles. | |
| Perspective | Also draws from | — | Representation of depth. |
| Perturbation | Also draws from | — | Small disturbance. |
| Perturbation Theory | Also draws from | — | A technique for handling an intractable problem by splitting it into an exactly solvable baseline plus a small correction, then expanding the quantities of interest as a power series in that small parameter. |
| Phase Diagram | Also draws from | — | Maps system states. |
| Phase Space | Also draws from | — | All possible system states. |
| Pigeonhole principle | Primary | — | Whenever more items are assigned to fewer available categories or slots, at least one slot must receive multiple items. |
| PK/PD Modeling (Pharmacokinetics / Pharmacodynamics) | Also draws from | — | Predict dynamic system behavior. |
| Power set | Primary | — | For a set S, form the set whose members are exactly all subsets of S, including the empty set and S itself. |
| Predicate | Primary | A testable yes-or-no property of an object, returning a truth value. | |
| Preimage | Primary | The set of all inputs that map to a given output under some mapping. | |
| Price Elasticity | Also draws from | — | Sensitivity to price changes. |
| Price of Anarchy | Primary | The worst-case ratio between the aggregate cost of selfish equilibrium play and the cost under centralized optimal coordination. | |
| Principle of Least Action | Also draws from | — | Optimal system paths. |
| Probability | Primary | — | Quantifies uncertainty and likelihoods. |
| Problem Solving | Also draws from | Problem solving is the goal-directed process of representing an obstructed or underdetermined state, generating or selecting possible transformations, testing them against constraints and evidence, and carrying an adequate path to a validated solution. | |
| Progressive Refinement from Core Model | Primary | — | Incremental refinement. |
| Projection | Primary | Map a richer object onto a lower-dimensional target along a chosen direction, discarding the rest. | |
| Proof by Cases | Primary | A reasoning form that establishes one proposition by covering the admissible possibility space with exhaustive cases and proving it under every case condition. | |
| Proof By Contradiction | Primary | Establish a claim by assuming its negation and deriving an impossibility. | |
| Proof of impossibility | Primary | — | Demonstrate that no object, procedure or arrangement can satisfy a declared set of requirements under stated assumptions. |
| Proportion and Scale | Also draws from | — | Relative size relationships. |
| Quantifier | Primary | Specifies the scope of a claim over a domain — all, some, none, most, or exactly N. | |
| Queueing | Also draws from | — | Organizes tasks into a waiting line based on arrival and service rates. |
| Random Walk | Primary | — | A trajectory built as the running sum of independent random increments, whose displacement grows like the square root of the number of steps. |
| Randomness | Primary | — | Model unpredictability. |
| Ratio | Primary | Compare one quantity with a nonzero reference quantity by division, so the quotient states how much numerator obtains per unit of denominator and stays interpretable only while both quantities, their units, and their scope are named. | |
| Realized vs Possible Outcomes | Primary | The comparison between what a process actually produces and what it could in principle produce, with the gap as the primary object of analysis. | |
| Reciprocal Additivity (Optic Equation) | Primary | — | Relate nonzero inputs to one effective result by requiring the reciprocal of the result to equal the sum of the input reciprocals, so parallel contribution becomes ordinary addition after reciprocal transformation. |
| Recurrence | Primary | — | The property by which a state, event, or value reappears across time or iterations because the present state depends on prior states, distinct from mere repetition by its measurable lag structure. |
| Recursion | Also draws from | — | Breaks processes into self-similar steps. |
| Recursive Attenuating Amplification | Primary | A one-shot input recirculating through a leaky operator with sub-unit retention produces a bounded total response of input/(1−k). | |
| Refinement | Primary | — | Iteratively improving a candidate solution toward adequacy through repeated cycles of evaluation and adjustment that narrow the gap to a target, rather than deriving the answer in one shot. |
| Relation | Primary | — | Describes associations or dependencies. |
| Relative Change | Primary | Relative change measures a quantity's difference from a declared reference value as a ratio to that reference, preserving proportional change while suppressing absolute scale. | |
| Renewal Process | Primary | After each event a clock resets; an interarrival-time distribution then makes conditional event risk depend on the age elapsed since that reset. | |
| Renormalization | Also draws from | — | Adjust parameters across scales. |
| Representation | Primary | — | Model complex ideas. |
| Saddle Point | Primary | An equilibrium stable in some directions and unstable in others. | |
| Scale | Primary | — | Properties change with size. |
| Scale Invariance | Also draws from | — | Behavior unchanged under scaling. |
| Scientific Notation | Primary | A positional-number representation that expresses a nonzero quantity as a significand multiplied by an integer power of a base—conventionally ten—with normalization separating scale from leading digits. | |
| Selection | Primary | From an available population, a criterion, pressure, or rule gives some alternatives greater retention, passage, or weight than others, producing a survivor set or shifted composition. | |
| Semigroup | Primary | The minimal algebraic species — a set with one closed, associative binary operation and nothing more — whose lone axiom certifies that any finite product is parenthesization-independent, so a sequential reduction can be split, reassociated, and run in parallel without changing the answer. | |
| Set and Membership | Primary | — | Groups and categorizes elements. |
| Similarity / Resemblance | Also draws from | A graded relation in which two entities match in selected respects, supporting comparison and transfer without requiring identity and without generally being transitive. | |
| Similarity Measure | Primary | Map an ordered pair, under a declared representation and relevance rule, to a comparable degree of likeness; the score may be nonmetric or asymmetric, and changing the frame can reverse what counts as near. | |
| Span | Primary | The complete set reachable by combining primitives under admissible operations. | |
| Stability | Primary | A system's tendency to return toward an operating point after perturbation. | |
| State and State Transition | Also draws from | — | Captures system condition and evolution. |
| Statistical Independence | Primary | Learning one variable gives no information about another; the joint distribution factors. | |
| Stochastic Process | Primary | A quantity indexed (usually by time) whose evolution is governed by randomness — an indexed family of random variables sharing one probability law. | |
| Subadditivity | Primary | A combined whole never evaluates above the sum of its separately evaluated parts, so decomposition supplies a guaranteed upper bound. | |
| Superposition | Also draws from | — | Multiple states coexist. |
| Surjectivity | Primary | A coverage-guaranteeing mapping in which every element of the target is hit by some input, leaving no gap in the codomain. | |
| Symbolic Representation | Also draws from | — | Sign-meaning link sustained by collective convention rather than resemblance or causal connection. |
| Symmetry | Primary | — | Invariance under transformation. |
| Symmetry Breaking | Also draws from | — | Loss of symmetry creates structure. |
| Topology | Primary | — | Studies properties preserved under deformation. |
| Transformation | Primary | — | A rule-governed mapping that restructures an input into a different output, holding certain invariants fixed while altering others. |
| Transitive relation | Primary | — | Whenever a relation carries from a first element to a second and from that second to a third, it also carries directly from the first to the third. |
| Tree Structure | Primary | A tree structure organizes distinct nodes through acyclic parent–child relations so that one root reaches every other node and each non-root node has exactly one parent and one path from the root. | |
| Truncation | Primary | — | Apply a declared boundary to retain an admissible bounded part of an ordered, extended, or over-complete object while discarding the part that lies beyond it. |
| Truth value | Primary | — | A semantic value assigned to a proposition or formula to represent its status with respect to truth under a specified logic and interpretation. |
| Turbulence | Also draws from | — | Chaotic multi-scale flow. |
| Union | Primary | The elements belonging to at least one of several collections — everything that is in any of them. | |
| Universality in Critical Phenomena | Also draws from | — | Shared scaling laws. |
| Variance Bounds Selection Response | Primary | The rate at which selection shifts a population's mean equals within-population variance times selection intensity, so variance is the fuel selection consumes and must be regenerated. | |
| Variation Strategies | Also draws from | — | Deliberately injecting controlled variation into a system and selecting from the results to explore alternatives, accelerate learning, and gain robustness. |
| Vector Space | Primary | A collection closed under linear combination, where adding and scaling are coherent. | |
| Verification | Also draws from | — | Check that an object conforms to its specification via a defined procedure yielding evidence and a verdict. |
| Verifier-Prover Asymmetry | Primary | Verifying a candidate solution is qualitatively cheaper than finding one, and the cost-ratio supports a characteristic class of designs that split finding from checking. | |
| Well-Foundedness (Well-Ordering) | Primary | — | Prevents infinite descent. |