OCME · Bilingual mathematics & derivations
Seven-Round Foundation Expansion: Numbers, Functions, Counting, and Coordinates
On this page
Complete seven traceable knowledge objects in dependency order on top of the existing number-system and function foundations.
This is a suggested learning sequence, not a universal logical dependency or a formal proof.
Rational number
Existing canonical prerequisite for the new objects in this pulse.
Arithmetic operations
Existing canonical prerequisite for the new objects in this pulse.
Function mapping
Existing canonical prerequisite for the new objects in this pulse.
Set
Existing canonical prerequisite for the new objects in this pulse.
Natural number
Existing canonical prerequisite for the new objects in this pulse.
Real number
Existing canonical prerequisite for the new objects in this pulse.
Basic counting principles
Existing canonical prerequisite for the new objects in this pulse.
Factorial
Existing canonical prerequisite for the new objects in this pulse.
Points, lines, and planes
Existing canonical prerequisite for the new objects in this pulse.
Fraction
Treat p/q as a rational-number representation with integer numerator and denominator and a nonzero denominator.
Ratio and proportion
Interpret the numerical ratio a:b as a/b and a proportion as equality between two valid ratios.
Domain, codomain, and range
Distinguish the domain A, declared codomain B, and actually attained range f[A] of a total function f:A→B.
Function composition
Evaluate g∘f by applying f first and verify that the intermediate value is an allowed input of g.
Sequence
Use zero-based real sequences a:N→R whose terms retain their index order rather than becoming an unordered set.
Permutations and combinations
Distinguish ordered permutations from unordered combinations when selecting distinct objects without replacement.
Coordinate plane
Represent plane points by ordered real pairs after fixing an origin, perpendicular oriented axes, and units.
Path source & status
path-pulse-foundations-20260930 · candidate