← Back Home
Foundations of Mathematics
Peano Compiler
Compile rationals through reals, integers, naturals, down to Peano axioms.
Tier I — Expression
II
Reals
Cauchy sequences over ℚ
III
Rationals
equiv. classes of ℤ pairs
IV
Integers
equiv. classes of ℕ pairs
V
Peano
successor functions + axioms
Output
Select a tier →