arXiv:1311.3168v22 [math.LO] 24 May 2021 eamme fasttu e sa bet nojc hti o s a not is that object An object. an a reality. is particular physical to set a in belong a or exist se You thus Individuals village a set ‘individual’. a constitute a set’. an of that of a inhabitants member objects is a the are ‘what there be to of shows belong Experience idea you the region. clan, develop a you or age family set? early a an At is What 1 first hei o igeo e u nidvda,api fsosi set. a is shoes of sin pair a a and individual, set’, an ‘empty Set but no set numbers’. is singleton natural there a Thus all not of possible. is set as shoe intuitive the as is be ‘what be should not should number’, numbers natural knowledge’ natural mathematical a However, all 47). numb of page natural fountainhead all [1974] the of as set the ‘considered for be axioms Peano the and mathematics, en ‘ define first o niiul a ob endi e theory. to’ eq in set Thus equal in defined theory. not defined set are ‘is be within to’ to known and has not equal to’ individuals are not equal but for ‘is ‘is reality physical and relations in the to’ given individuals equal For ‘is relations theory. the sets For o onigdown counting for hti rtnme ftePaoaim.Freeyntrlnumb natural every For axioms. Peano the nu of ‘first number are first ordinals a Limit is defined. that are ordinals and numbers Natural xeinesosa bet‘seult’o i o qa o anothe to’ equal not ‘is or to’ equal ‘is object an shows Experience ti elkonta h concept the that well-known is It First nti ril epeeta xoai ento fst ihindividuals with sets of definition axiomatic an present we article this In ω ω 0 ω nme.Odnl ihafis ubrstsytePaoaxioms. Peano the satisfy number first a with Ordinals -number. ω nme oeul0blnigt ordinal to belonging 0 notequal -number m ω nmeswt rtnme’ vr ria sa ria iha with ordinal an is ordinal Every number’. first a with -numbers ω h onain fMathematics of Foundations The nmesaedfie.0i first a is 0 defined. are -numbers γ ntePyia Reality Physical the in o0i nt ubro steps. of number finite a in 0 to ok .Homan H. Doeko a 4 2021 24, May 1 set a eue stefudtosfor foundations the as used be can ω ω nme.Te epoea prove we Then -number. γ sa masbebarrier impassable an is defined hs‘htis ‘what thus , .Astcan set A t. r should ers (Halmos object. r er mbers’, theory uality m tis et are gle set we . 2 The axioms of set theory

Objects are denoted by p, q, r, s, t, u, ... or by capital letters or by lowercase Greek letters. The symbol ∈ is to read as ‘is a member of’ or as ‘belongs to’. For every s and every t applies s ∈ t or the negation of s ∈ t, denoted by s∈ / t. Both s ∈ t and s∈ / t together is a contradiction. Object s ‘is an individual’ if s ∈ s, and object s ‘is a set’ if s∈ / s. We use the logical connectives conjunction ∧ (and), disjunction ∨ (or), the material implication → (if ... then) and equivalence ↔ (if and only if). And ∀s denotes ‘for every object s’ and ∃s denotes ‘exists object s’. The parentheses ( and ) preclude ambiguity and improve legibility.

Definition 1 s is ‘equal to’ t, denoted by s = t if ∀u(u ∈ s ↔ u ∈ t), the negation of s = t is denoted by s =6 t. ✷

The axioms for equality and for individuals are

• ∀s∀t(s = t → ∀u(s ∈ u ↔ t ∈ u)),

• ∀p(p ∈ p → ∀u(u ∈ p → u = p)).

Thus the relation ‘is equal to’ is reflexive, symmetric and transitive, and the relation ‘is not equal to’ is symmetric. The axioms for objects are

• to every object belongs an object ∀s∃v(v ∈ s),

• pairs ∀s∀t∃v∀u(u ∈ v ↔ u = s ∨ u = t) denoted by v = {s, t}, • union ∀s∃v∀u(u ∈ v ↔ ∃z(z ∈ s ∧ u ∈ z)) denoted by v = S s, • regularity ∀s(∃v(v ∈ s∧v∈ / v) → ∃v(v ∈ s∧v∈ / v ∧∀u(u ∈ v ∧u∈ / u → u∈ / s))),

• if Φ(u) denotes a well formed formula Φ with u free in Φ then separation ∀s(∃u(u ∈ s ∧ Φ(u)) → ∃v∀u(u ∈ v ↔ u ∈ s ∧ Φ(u))),

• in section 5 we postulate an ‘axiom of infinity’.

If ∀u(u ∈ v → u = s) then v is denoted by {s}. Thus ∀p(p ∈ p → p = {p}).

Definition 2 s is ‘included in’ t, denoted by s ⊆ t if ∀u(u ∈ s → u ∈ t), the negation of s ⊆ t is denoted by s 6⊆ t. ✷ Object s ‘is transitive’ if S s ⊆ s. ✷ Definition 3 s ∪ t is the ‘union of s and t’, defined by s ∪ t = S{s, t}.

2 Every set of individuals is transitive. If s is transitive then S s and s ∪{s} are transitive. If v is a set then {v} is not transitive. And

• p ∈ p ∧ s∈ / s → p =6 s ∧ s∈ / p,

• p ∈ p ∧ ∀u(u ∈ v → u = p) → v = p,

• u = {s, t} ∧ s =6 t → u∈ / u, • p ∈ p → p ⊆ p ∧ S p = p ∧{p} = p ∧ p ∪{p} = p, • s∈ / s → s ⊆ s ∧ S s∈ / S s ∧{s} ∈{/ s} ∧ s ∪{s}= 6 s.

Theorem 1 If a set belongs to a transitive set s then a set of individuals is a member of s ∃v(v ∈ s ∧ v∈ / v) ∧ S s ⊆ s → ∃v(v ∈ s ∧ v∈ / v ∧ ∀u(u ∈ v → u ∈ u)).

Proof. Apply regularity to set s to find set v ∈ s such that ∀u(u ∈ v ∧ u∈ / u → u∈ / s). There is no ‘empty set’ thus ∃z(z ∈ v). Then z ∈ v ∧ v ∈ s → z ∈ S s therefore z ∈ s thus z ∈ s ∧ z ∈ v. And ∀u(u ∈ v ∧ u∈ / u → u∈ / s). Thus ∀u(u ∈ v → u ∈ u). ✷

If set s is transitive and ∀u(u ∈ s ∧ u ∈ u → u ∈{p, q}) then p and q are the only individuals belonging to s therefore {p, q} ∈ s ∪{s}.

Theorem 2 If T is a transitive set of transitive objects and ∀u(u ∈ T ∧ u ∈ u → u ∈{p, q}) then ∀s∀t(s ∈ T ∧ s∈ / s ∧ t ∈ T ∧ t∈ / t → (s ∈ t ∨ s = t ∨ t ∈ s)).

Proof. If T = {p, q} then ∀u(u ∈ T → u ∈ u) thus the theorem is correct. If T =6 {p, q} then {p, q} ∈ T ∧ ∀u(u ∈ T ∧ u∈ / u →{p, q} ∈ u ∪{u}). Thus {p, q} ∈ T ∧ ∀u(u ∈ T ∧ u∈ / u → ({p, q} ∈ u ∨{p, q} = u ∨ u ∈{p, q})). Assume {p, q} ∈ T and exists v such that v ∈ T ∧ v∈ / v ∧ ∃w(w ∈ T ∧ w∈ / w ∧ (v∈ / w ∧ v =6 w ∧ w∈ / v)). Then v =6 {p, q} and v =6 w. Use separation to define set V by ∀u(u ∈ V ↔ u ∈ T ∧ u∈ / u ∧ ∃x(x ∈ T ∧ x∈ / x ∧ (u∈ / x ∧ u =6 x ∧ x∈ / u))). Then v ∈ V , {p, q} ∈/ V and ∀u(u ∈{p, q}→ u∈ / V ). Apply regularity to set V to find set t ∈ V such that t ∈ T ∧ t∈ / t∧ ∃x(x ∈ T ∧ x∈ / x ∧ (x∈ / t ∧ x =6 t ∧ t∈ / x)) ∧ ∀u(u ∈ t ∧ u∈ / u → u∈ / V ). {p, q} ∈/ V thus t =6 {p, q}. And t ∈ T therefore {p, q} ∈ t. Set t ∈ V thus ∃x(x ∈ T ∧ x∈ / x ∧ (x∈ / t ∧ x =6 t ∧ t∈ / x)). Use separation to define set W by

3 ∀u(u ∈ W ↔ u ∈ T ∧ u∈ / u ∧ (u∈ / t ∧ u =6 t ∧ t∈ / u)). Then set x ∈ W and {p, q} ∈/ W . Apply regularity to set W to find set y ∈ W such that y ∈ T ∧ y∈ / y ∧ (y∈ / t ∧ y =6 t ∧ t∈ / y) ∧ ∀u(u ∈ y ∧ u∈ / u → u∈ / W ). Then y =6 {p, q} ∧ y ∈ T thus y is transitive and {p, q} ∈ y. Set T is transitive thus ∀u(u ∈ y ∧ y ∈ T → u ∈ T ) therefore ∀u(u ∈ y ∧ u∈ / u → u∈ / W ) → ∀u(u ∈ y ∧ u∈ / u → (u ∈ t ∨ u = t ∨ t ∈ u)). Then (t ∈ u ∨ t = u) ∧ u ∈ y → t ∈ y contradictory to t∈ / y. Thus ∀u(u ∈ y ∧ u∈ / u → u∈ / W ) → ∀u(u ∈ y ∧ u∈ / u → u ∈ t). Sets y and t are transitive, {p, q} ∈ y and {p, q} ∈ t thus y ⊆ t. Then y ⊆ t ∧ y =6 t → ∃s(s ∈ t ∧ s∈ / s ∧ s∈ / y) otherwise y = t. Set s =6 {p, q}, s ∈ t and ∀u(u ∈ t ∧ u∈ / u → u∈ / V ) therefore ∀u(u ∈ T ∧ u∈ / u → (u ∈ s ∨ u = s ∨ s ∈ u)). Set y ∈ T and s∈ / y thus y ∈ s ∨ y = s. But (y ∈ s ∨ y = s) ∧ s ∈ t → y ∈ t contradictory to y∈ / t. Therefore the assumption exists set v is not correct thus ∀s∀t(s ∈ T ∧ s∈ / s ∧ t ∈ T ∧ t∈ / t → (s ∈ t ∨ s = t ∨ t ∈ s)). ✷

If both s and t are transitive sets of transitive objects then (s ∪ t) ∪{s, t} is a transitive set of transitive objects and s and t belong to (s ∪ t) ∪{s, t}. The ‘law of trichotomy’ for transitive sets s and t of transitive objects reads if ∀u(u ∈ s ∪ t ∧ u ∈ u → u ∈{p, q}) then s ∈ t ∨ s = t ∨ t ∈ s. Then S s = s or S s =6 s ∧ s = S s ∪{S s}.

3 Definition of natural numbers

In the remainder set 0 is a pair of individuals thus ∀u(u ∈ 0 → u ∈ u). Definition 4 Set s is a ‘natural number’ if s is a transitive set of transitive objects and ∀u(u ∈ s ∪{s}→ u ∈ 0 ∪{0} ∨ S u ∈ u). The ‘successor’ of s is s ∪{s}. ✷ In this section set 0 is denoted by α. Thus if set s is a natural number then

[ α = α ∧ s∈ / α ∧ ∀u(u ∈ s ∪{s}→ u ∈ α ∪{α} ∨ [ u ∈ u). Then α is a natural number and is called a ‘first number’. And

∀u(u ∈ s ∪{s} ∧ u ∈ u → u ∈ α), ∀u(u ∈ s ∪{s}→ u ∈ α ∪{α} ∨ u = S u ∪{S u}), ∀u(u ∈ s ∪{s} ∧ u∈ / α → S u∈ / α).

4 Theorem 3 The successor s ∪{s} of natural number s is a natural number.

Proof. s ∪{s} is a transitive set of transitive objects. s is a natural number thus ∀u(u ∈ s ∪{s}→ u ∈ α ∪{α} ∨ S u ∈ u). And s∈ / α implies s ∪{s} ∈/ α and s ∪{s}= 6 α. Thus s ∪{s} ∈/ α ∪{α}. Then S(s ∪{s})= s ∧ s ∈ s ∪{s} thus S(s ∪{s}) ∈ s ∪{s}. Therefore s ∪{s} is a natural number. ✷

Theorem 4 If s is a natural number and α ∈ s then ∀u(u∈ / α ∧ u ∈ s → (u is a natural number)).

Proof. If u ∈ s then u is a transitive object of transitive objects. s is transitive thus ∀v(v ∈ u ∪{u} ∧ u ∈ s → v ∈ s). Then S α = α ∧ u∈ / α ∧ ∀v(v ∈ u ∪{u}→ v ∈ α ∪{α} ∨ S v ∈ v). Therefore u is a natural number. ✷

Next theorem is the ‘principle of mathematical induction’.

Theorem 5 If s is a natural number and Φ(u) is a well formed formula Φ with natural number u free in Φ then Φ(α) ∧ ∀u(u∈ / α ∧ u ∈ s ∧ Φ(u) → Φ(u ∪{u})) → Φ(s).

Proof. If s is first number α then Φ(α) thus Φ(s). If s =6 α then α ∈ s. Use separation to define set v by ∀u(u ∈ v ↔ u∈ / α ∧ u ∈ s ∧ Φ(u)). Then α ∈ v and s∈ / v. Use separation to define set w by ∀u(u ∈ w ↔ u∈ / α ∧ u ∈ s ∪{s} ∧ u∈ / v). Then s ∈ w and α∈ / w. Apply regularity to set w to find natural number z ∈ w such that z ∈ s ∪{s} ∧ z∈ / α ∧ z∈ / v ∧ ∀u(u ∈ z → u∈ / w). Then α ∈ v thus z =6 α. And z∈ / α therefore α ∈ z. Thus z is not first number α therefore z = S z ∪{S z}. Then S z ∈ z and S z∈ / α. And S z ∈ z ∧ z ∈ s ∪{s}→ S z ∈ s thus S z ∈ s ∧ S z∈ / w → S z ∈ v. Therefore Φ(S z) thus Φ(z). And z ∈ s ∪{s}. If z ∈ s then z∈ / α ∧ Φ(z) → z ∈ v contradictory to z∈ / v. Therefore z = s thus Φ(s). ✷

The axioms formulated by G. Peano are satisfied:

5 • there is first number α,

• every natural number has as successor a natural number,

• if s is a natural number and s ∪{s} = α then s ∈ α contradictory to s∈ / α thus first number α is not the successor of a natural number,

• if s and t are natural numbers and s∪{s} = t∪{t} then s ∈ t∪{t} and t ∈ s ∪{s} therefore s = t thus if both successors of a pair of natural numbers are equal then both natural numbers are equal,

• the principle of mathematical induction.

In the remainder natural numbers are denoted by l, m, n, x or y. There is no set belonging to natural number 0, and 1 denotes the successor of 0 thus 1=0 ∪{0}.

Definition 5 m is ‘less than’ n, denoted by m < n if m ∈ n, m is ‘less than or equal to’ n, denoted by m ≤ n if n∈ / m. ✷

Then 0 is less than every other natural number. We define addition m + n and multiplication m · n. As usual multiplication precedes addition.

Definition 6 m +0= m, m +(n ∪{n})=(m + n) ∪{m + n}, m · 0=0, m · (n ∪{n})= m · n + m. ✷

Then m +1=(m + 0) ∪{m +0} thus m +1= m ∪{m} and 0 + 1 = 1. With the principle of mathematical induction one can prove m + n and m · n are natural numbers, 1 + n = n + 1 and the basic properties of the Peano Arithmetic (addition and multiplication).

4 Ordinals

Definition 7 β is an ‘ordinal’ if β is a transitive set of transitive objects. ✷ Ordinal α is a ‘first number’ if S α = α.

In the remainder if β is an ordinal then ∀u(u ∈ β ∧ u ∈ u → u ∈ 0) thus 0 ∈ β ∪{β} and 0 is a first number. If α is a first number and u ∈ α ∧ u∈ / u then u and u ∪{u} are ordinals and u ∪{u} ∈ α. We define addition of ordinals and natural numbers.

Definition 8 If β is an ordinal then β +0= β, β +(n +1)=(β + n) ∪{β + n}. ✷

6 Then β ∪{β} and β + 1 are ordinals. With the principle of mathematical induction one can prove ∀m∀n((β + m)+ n = β +(m + n)).

Theorem 6 If β is an ordinal then ∃α∃n(S α = α ∧ β = α + n). Proof. If β is a first number then β = β + 0 thus α = β and n = 0. If S β =6 β then β = S β + 1. Use separation to define set v by ∀u(u ∈ v ↔ u ∈ β ∧ u∈ / u ∧ ∃n(β = u + n)). Then S β ∈ v. Apply regularity to v to find ordinal α ∈ v such that α ∈ β ∧ ∃n(β = α + n) ∧ ∀u(u ∈ α → u∈ / v). Then S α ∈ α ∪{α}. If S α ∈ α then α = S α + 1 therefore β = S α +(1+ n). Then S α ∈ α ∧ α ∈ β thus S α ∈ β therefore S α ∈ v. Then S α ∈ α ∧ S α ∈ v contradictory to ∀u(u ∈ α → u∈ / v). Therefore S α = α ∧ ∃n(β = α + n). ✷ Definition 9 Ordinal β is an ‘ordinal with first number α’ if S α = α ∧ β∈ / α ∧ ∀u(u ∈ β ∪{β}→ u ∈ α ∪{α} ∨ S u ∈ u). The ‘successor’ of ordinal β is β ∪{β}. ✷ First number α satisfies the definition of an ordinal with first number α. Natural numbers (the ‘finite’ numbers) are ordinals with first number 0. The theorems in section 3 about natural numbers apply analogous to ordinals with first number α. Thus the successor of an ordinal with first number α is an ordinal with first number α and the ordinals with first number α satisfy the Peano axioms. If β is an ordinal with first number α and β =6 α then S β ∈ β thus S β is the ‘greatest’ ordinal with first number α belonging to β. Theorem 7 If β is an ordinal with first number α then for every n (β + n) is an ordinal with first number α. Proof. β +0= β thus β + 0 is an ordinal with first number α. Assume if x < n then β + x is an ordinal with first number α. Then the successor (β + x) + 1 of ordinal β + x is an ordinal with first number α therefore β +(x + 1) is an ordinal with first number α. Apply the principle of mathematical induction to 0 ≤ x ∧ x < n and conclude for every n (β + n) is an ordinal with first number α. ✷ Every ordinal is an ordinal with a first number α. We define ω0 = 1. Then

∀n(α + ω0 · n is an ordinal with first number α), ∀n(α + ω0 · (n +1)=(α + ω0 · n)+ ω0), ∀n(α + ω0 · n ∈ (α + ω0 · n)+ ω0).

7 5 More first numbers

Definition 10 If γ is an ordinal then 0 m+1 m m Fγ = γ, ∀u(u ∈ Fγ ↔ u ∈ Fγ ∧ S Fu = u). m m ✷ Ordinal α is a ‘first ω -number’ if S Fα = α.

m m m m m m Then ∀m(F0 =0 ∧ S F0 =0 ∧ F1 =1 ∧ S F1 =0 ∧ (0 ∈ Fγ ∪{Fγ })). m If 0 < m then Fγ is a set of individuals and first numbers belonging to γ. m m m m And S S Fγ ⊆ S Fγ . If u ∈ S Fγ then u is transitive and u ∪{u} ∈ S Fγ m m thus u ∈ S S Fγ . Therefore if 0 < m then S Fγ is a first number. m m Then ∀u(u ∈ Fγ → S Fγ ∈/ u). Apply the law of trichotomy and conclude m m m 0 0 0 0 < m → Fγ ⊆ S Fγ ∪ {S Fγ }. And Fγ ⊆ S Fγ ∪ {S Fγ } therefore m m m ∀m(Fγ ⊆ S Fγ ∪{S Fγ }).

m l Theorem 8 If γ is an ordinal then ∀l(l ≤ m → Fγ ⊆ Fγ ).

0 0 l Proof. Fγ = γ and ∀l(l ≤ 0 → l = 0) thus ∀l(l ≤ 0 → Fγ ⊆ Fγ). x l Assume if x < m then ∀l(l ≤ x → Fγ ⊆ Fγ). x+1 x x l x+1 l Then Fγ ⊆ Fγ ∧ ∀l(l ≤ x → Fγ ⊆ Fγ) thus ∀l(l ≤ x → Fγ ⊆ Fγ). x+1 l x+1 l And l = x +1 → Fγ ⊆ Fγ therefore ∀l(l ≤ x +1 → Fγ ⊆ Fγ). Apply the principle of mathematical induction to 0 ≤ x ∧ x < m and m l conclude ∀l(l ≤ m → Fγ ⊆ Fγ). ✷

m 0 m m l Then Fγ ⊆ Fγ thus γ∈ / Fγ . And ∀l(l ≤ m → S Fγ ⊆ S Fγ ). Apply the m m law of trichotomy and conclude S Fγ ∈ γ ↔ S Fγ =6 γ. Thus every first ωm-number is a first number, every first number is a first ω0-number and 0 m m+1 m+1 is for every m a first ω -number. If S Fα =6 α then S Fα is the greatest first ωm-number belonging to α. m l l If S Fα = α then ∀l(l ≤ m → α ⊆ S Fα ∧ S Fα ⊆ S α) thus S α = α l m+1 m therefore ∀l(l ≤ m → S Fα = α). And ∀u(u ∈ Fα ↔ u ∈ α ∧ S Fu = u). m m m+l m If S Fγ ∈ Fγ then ∀l(S Fγ =6 γ) otherwise S Fγ = γ contradictory to m m m m+l γ∈ / Fγ . Thus S Fγ ∈ Fγ → ∀l(S Fγ ∈ γ). m m ✷ Axiom 1 ∀α∀m(S Fα = α → ∃γ∀u(u ∈ γ ↔ ∃n(u ∈ α + ω · n))). γ is denoted by α + ωm+1. Thus 0 + ωm+1 is a set. 1 If S α = α ∧ β∈ / α ∧ β ∈ α + ω then β is an ordinal with first number α. Thus every natural number belongs to 0 + ω1 and every member of 0 + ω1 is a natural number. This is the ‘axiom of infinity’. Definition 11 If α is a first ωm-number then α + ωm+1 · 0= α, α + ωm+1 · (n +1)=(α + ωm+1 · n)+ ωm+1. ✷

8 If α is a first ωm+1-number then α is a first ωm-number therefore α + ωm+1 = α + ωm+1 · 1. And α + ω0 = α + ω0 · 1 thus m m m ∀m(S Fα = α → α + ω = α + ω · 1). m m Theorem 9 S Fα = α → α ∈ α + ω .

0 0 0 Proof. If S Fα = α then α + ω = α ∪{α} therefore α ∈ α + ω . x x Assume if x < m then S Fα = α → α ∈ α + ω . x+1 x x If S Fα = α then S Fα = α thus α ∈ α + ω . Then α + ωx = α + ωx · 1 thus α ∈ α + ωx · 1 therefore α ∈ α + ωx+1. Apply the principle of mathematical induction to 0 ≤ x ∧ x < m and m m conclude S Fα = α → α ∈ α + ω . ✷

m m m+1 Theorem 10 S Fα = α → ∀n(S Fα+ωm+1·n = α + ω · n).

0 1 Proof. If S Fα = α then α + ω exists and ∀u(u ∈ α + ω1 ↔ ∃l(u ∈ α + ω0 · l)). Then α + ω0 · l is an ordinal with first number α thus a transitive set of transitive sets. 1 1 1 1 1 Then S(α + ω ) ⊆ α + ω and α + ω ⊆ S(α + ω ) thus α + ω is a first 0 0 0 1 ω -number. Therefore S Fα = α → S Fα+ω1 = α + ω . Assume if y

9 Then α + ω(x+1)+1 · (y +1)=(α + ω(x+1)+1 · y)+ ω(x+1)+1. According to the induction assumption α + ω(x+1)+1 · y is a first ωx+1-number. Therefore (α+ω(x+1)+1 ·y)+ω(x+1)+1 is a first ωx+1-number thus α + ω(x+1)+1 · (y + 1) is a first ωx+1-number. Apply the principle of mathematical induction to 0 ≤ y ∧ y

With the principle of mathematical induction one can prove m m+1 m+1 m+1 ∀n∀l(S Fα = α → (α + ω · n)+ ω · l = α + ω · (n + l)). m m+1 m+1 Theorem 11 S Fα = α → Fα+ωm+1 = Fα ∪{α}. 0 Proof. If α is a first ω -number then S α = α and 1 1 ∀u(u ∈ Fα+ω1 ↔ u ∈ α + ω ∧ S u = u). And ∀u(u ∈ α + ω1 ↔ ∃n(u ∈ α + ω0 · n)). Then α + ω0 · n is an ordinal with first number α therefore 0 0 ∀u(u ∈ α + ω · n ∪{α + ω · n}→ u ∈ α ∪{α} ∨ S u ∈ u). Thus 1 ∀u(u ∈ Fα+ω1 → (u ∈ α ∪{α} ∨ S u ∈ u) ∧ S u = u). 1 1 1 1 1 1 Then Fα+ω1 ⊆ Fα ∪{α}. And Fα ∪{α} ⊆ Fα+ω1 thus Fα+ω1 = Fα ∪{α}. 0 0+1 0+1 0+1 Therefore S Fα = α → Fα+ω0+1 = Fα ∪{α}. Then S Fα+ω0+1 = α thus α is the greatest first ω0-number belonging to α + ω0+1. x x+1 x+1 Assume if x < m then S Fα = α → Fα+ωx+1 = Fα ∪{α}. Then α is the greatest first ωx-number belonging to α + ωx+1. If α is a first ωx+1-number then apply the axiom of infinity thus ∃α + ω(x+1)+1∀u(u ∈ α + ω(x+1)+1 ↔ ∃l(u ∈ α + ωx+1 · l)). Then (x+1)+1 (x+1)+1 x+1 ∀u(u ∈ Fα+ω(x+1)+1 ↔ u ∈ α + ω ∧ S Fu = u). And ∀u(u ∈ α + ω(x+1)+1 ↔ ∃l(u ∈ α ∪{α} ∨ u ∈ α + ωx+1 · (l + 1))). Then α is a first ωx+1-number thus α is a first ωx-number and α + ωx+1 · l is a first ωx-number. Then according to the induction assumption x+1 x+1 x+1 x+1 F(α+ωx+1·l)+ωx+1 = Fα+ωx+1·l ∪{α + ω · l}. Thus α + ω · l is the greatest first ωx-number belonging to α + ωx+1 · (l + 1)). Then (x+1)+1 x+1 x+1 ∀u(u ∈ α + ω ∧ S Fu = u → u ∈ α ∪{α} ∧ S Fu = u) thus (x+1)+1 (x+1)+1 (x+1)+1 (x+1)+1 Fα+ω(x+1)+1 ⊆ Fα ∪{α}. And Fα ∪{α} ⊆ Fα+ω(x+1)+1 . (x+1)+1 (x+1)+1 Therefore Fα+ω(x+1)+1 = Fα ∪{α}. Apply the principle of mathematical induction to 0 ≤ x ∧ x < m and m m+1 m+1 conclude S Fα = α → Fα+ωm+1 = Fα ∪{α}. ✷

10 m+1 m+1 m+1 Then S Fα+ωm+1 = α thus S Fα+ωm+1 ∈ Fα+ωm+1 therefore α is the greatest first ωm-number belonging to α + ωm+1.

m m+1 m+1 m+1 Theorem 12 S Fγ = γ ∧ S Fγ ∈ γ → γ = S Fγ + ω .

m+1 m+1 m Proof. S Fγ ∈ γ thus S Fγ is the greatest first ω -number belonging to m+1 m+1 m m+1 γ. And S Fγ +ω is a first ω -number. Thus S Fγ is the greatest m m+1 m+1 first ω -number belonging to S Fγ + ω . m+1 m+1 m+1 m+1 Then S Fγ + ω ∈/ γ ∧ γ∈ / S Fγ + ω . m+1 m+1 Apply the law of trichotomy and conclude γ = S Fγ + ω . ✷

m m+1 m+1 Theorem 13 S Fγ = γ → ∃α∃n(S Fα = α ∧ γ = α + ω · n).

m+1 m m+1 Proof. S Fγ = γ → S Fγ = γ ∧ γ = γ + ω · 0 thus α = γ and n = 0. m+1 m+1 m+1 m+1 If S Fγ =6 γ then S Fγ ∈ γ thus γ = S Fγ + ω · 1. Use separation to define set v of first ωm-numbers by m+1 m+1 m+1 ∀u(u ∈ v ↔ u ∈ Fγ ∧u∈ / u∧∃n(γ = u+ω ·n)). Then S Fγ ∈ v. Apply regularity to v to find first ωm-number α ∈ v such that m+1 m+1 α ∈ Fγ ∧ ∃n(γ = α + ω · n) ∧ ∀u(u ∈ α → u∈ / v). m+1 Then S Fα ∈ α ∪{α}. m+1 m m+1 m+1 m+1 If S Fα ∈ α then S Fα = α ∧ S Fα ∈ α → α = S Fα + ω · 1. m+1 m Thus S Fα is the greatest first ω -number belonging to α and m+1 m+1 γ = S Fα + ω · (1 + n). m+1 m+1 m+1 m+1 Then S Fα ∈ α ∧ α ∈ Fγ thus α ∈ γ therefore S Fα ∈ Fγ . m+1 Then S Fα ∈ v contradictory to ∀u(u ∈ α → u∈ / v). m+1 m+1 Therefore ∃α∃n(S Fα = α ∧ γ = α + ω · n). ✷

m m m+1 m+1 If S Fα = α then ∀n(S Fα+ωm+1·n = α + ω · n) thus α + ω · n is the m m+1 m+1 greatest first ω -number belonging to α +ω ·(n+1). If S Fα = α then for every n =6 0 is α the greatest first ωm+1-number belonging to α+ωm+1 ·n. Every first number is a first ω0-number thus every ordinal is an ordinal with a first ω0-number. We define ‘ωm+1-numbers with first number α’.

Definition 12 Ordinal γ is an ‘ωm+1-number with first number α’ if m m+1 S Fγ = γ ∧ S Fα = α∧ m+1 γ∈ / α ∧ ∀u(u ∈ γ ∪{γ}→ u ∈ α ∪{α} ∨ S Fu ∈ u). The successor of ωm+1-number γ with first number α is γ + ωm+1. ✷

11 m+1 m+1 m+1 m+1 If γ =6 α then γ = S Fγ +ω thus ∃β∃n(S Fβ = β ∧γ = β +ω ·n). Then γ =6 β thus n =6 0 and β is the greatest first ωm+1-number belonging to m+1 γ. Thus α ∈ β ∪{β}. And β ∈ γ ∧ S Fβ = β → β ∈ α ∪{α} thus β = α. If γ = α then γ = α + ωm+1 · 0. Thus ∃n(γ = α + ωm+1 · n). Ordinals with a first ω0-number satisfy the Peano axioms. By the same kind of reasoning used in section 3 for natural numbers one can prove if γ is an ωm+1-number with first number α then • there is first ωm+1-number α, • the successor γ + ωm+1 of γ is an ωm+1-number with first number α, • α is not the successor of an ωm+1-number with first number α,

• m m+1 if β∈ / α ∧ β ∈ γ ∧ S Fβ = β then β is an ω -number with first number α, • if β is an ωm+1-number with first number α and β + ωm+1 = γ + ωm+1 then β ∈ γ ∪{γ} ∧ γ ∈ β ∪{β} thus β = γ, • if Φ(β) is a well formed formula with first ωm-number β free in Φ then m m+1 Φ(α) ∧ ∀β(β∈ / α ∧ β ∈ γ ∧ S Fβ = β ∧ Φ(β) → Φ(β + ω )) → Φ(γ). Thus the ωm+1-numbers with first number α satisfy the Peano axioms. ω m ✷ Definition 13 Ordinal α is a ‘first ω -number’ if ∀m(S Fα = α). 0 is a first ωω-number. If α is a first ωω-number then for every m and for every n (α +ωm+1 ·n) is an ωm+1-number with first number α. Thus ordinals with a first number up to a first ωω-number satisfy the Peano axioms.

6 Counting down ordinals

Theorem 14 If γ is an ordinal then exists first ωω-number α such that l+1 ∃l(S Fγ = α).

ω 0+1 Proof. If ordinal γ is a first ω -number then α = γ thus S Fγ = α. ω n If γ is not a first ω -number then ∃n(S Fγ ∈ γ) thus 0 m m+1 S Fγ ∈ γ or ∃m(m < n ∧ S Fγ = γ ∧ S Fγ ∈ γ). 0 If S Fγ ∈ γ then γ is an ordinal with a first number. 0 0 0 0+1 Therefore S Fγ ∈ γ∧∃β∃n(S Fβ = β∧n =06 ∧γ = β+ω ·n∧S Fγ = β). m m+1 If ∃m(S Fγ = γ ∧ S Fγ ∈ γ) then m+1 m+1 (m+1)+1 ∃β∃n(S Fβ = β ∧ n =06 ∧ γ = β + ω · n ∧ S Fγ = β). Thus in both cases ∃β∃n such that we can ‘countdown γ to β in n steps’.

12 l ω If ∀l(S Fβ = β) then β is a first ω -number and β ∈ γ. m m+1 m+1 m+1 If ∃m(S Fβ = β ∧ S Fβ ∈ β) then β = S Fβ + ω . Therefore m+1 m+1 ∃β1(S Fβ1 = β1 ∧ ∃n1(n1 =06 ∧ β = β1 + ω · n1)). Thus m+1 0 m+1 γ =(β1 + ω · n1)+ ω · n. Then β1 is the greatest first ω -number (m+1)+1 belonging to β and β ∈ γ therefore S Fγ = β1. Thus we can countdown γ to β1 in n + n1 steps. l ω If ∀l(S Fβ1 = β1) then β1 is a first ω -number and β1 ∈ γ. m1 m1+1 m1+1 m1+1 If ∃m1(S Fβ1 = β1∧S Fβ1 ∈ β1) then β1 = S Fβ1 +ω . Therefore m1+1 m1+1 ∃β2(S Fβ2 = β2 ∧ ∃n2(n2 =06 ∧ β1 = β2 + ω · n2)). Thus m1+1 m+1 0 γ = ((β2 + ω · n2)+ ω · n1)+ ω · n. Then β2 is the greatest first m1+1 (m1+1)+1 ω -number belonging to β1 and β1 ∈ γ therefore S Fγ = β2. Thus we can countdown γ to β2 in n + n1 + n2 steps. l ω If ∀l(S Fβ2 = β2) then β2 is a first ω -number and β2 ∈ γ. Thus there is a rule to construct a descending sequence ..., β2 ∈ β1, β1 ∈ β, β ∈ γ. If β is a first ωω-number then we define α = β thus m l+1 ∃α(∀m(S Fα = α) ∧ ∃l(S Fγ = α)). ω If β is not a first ω -number then we define β0 = β. Assume ∀n∃βn+1(βn+1 ∈ βn). Thus βn+1 ∈ β ∧ βn+1 ∈ γ. Use separation to define set s by ∀u(u ∈ s ↔ u ∈ γ ∧ ∃n(u = βn)) thus s ⊆ γ and set β0 ∈ s. Then ∀v(v ∈ s → ∃n(v = βn ∧ βn+1 ∈ v ∧ βn+1 ∈ s)) contradictory to regularity ∃v(v ∈ s ∧ v∈ / v ∧ ∀u(u ∈ v ∧ u∈ / u → u∈ / s)). m l+1 Therefore ∃α(∀m(S Fα = α) ∧ ∃l(S Fγ = α)). ✷

If γ =6 α then α is the greatest first ωω-number belonging to γ and counting down γ terminates at α in a finite number of steps. In this way, with the Peano axioms, if α =6 0 then α is an impassable barrier for counting down γ to 0 in a finite number of steps. If γ = 0 or 0 is the greatest first ωω-number belonging to γ then counting down γ terminates at 0 in a finite number of steps. And if γ =6 0 then l+1 l+1 ∃l(S Fγ =0 ∧ Fγ = 1).

7 References

P.R. Halmos. Naive Set Theory Springer-Verlag New York Inc., 1974

13