OCME · Bilingual mathematics & derivations
Wave-One Domain Foundations
On this page
Branch from natural numbers, sets, and propositions into arithmetic, equations, probability, induction, factorials, and elementary combinatorial counting.
This is a suggested learning sequence, not a universal logical dependency or a formal proof.
Natural number
Supply the natural-number foundation for arithmetic, induction, and finite counting.
Set
Supply the set foundation for treating a sample space as a collection of outcomes.
Proposition
Supply the logical foundation for proposition families handled by induction.
Arithmetic operations
Unlock quantitative combination in algebraic expressions and elementary counting.
Sample space
Move from set language into the outcome domain of probability and statistics.
Mathematical induction
Move from natural numbers and propositions into a structured proof method.
Variables and algebraic expressions
Move from arithmetic operations into algebraic expressions containing variables.
Basic counting principles
Combine counts of finite choices using natural numbers and arithmetic operations.
Factorial
Use natural-number multiplication and successor recursion to build a finite product.
Equation
Move from expressions into equality, solution sets, and substitution checks.
Linear equation in one variable
Use a nonzero linear coefficient to obtain a unique solution and distinguish the degenerate constant cases.
Path source & status
path-domain-coverage-wave-one · candidate