The Foundations of Mathematics in the Physical Reality Doeko H. Homan May 24, 2021 It is well-known that the concept set can be used as the foundations for mathematics, and the Peano axioms for the set of all natural numbers should be ‘considered as the fountainhead of all mathematical knowledge’ (Halmos [1974] page 47). However, natural numbers should be defined, thus ‘what is a natural number’, not ‘what is the set of all natural numbers’. Set theory should be as intuitive as possible. Thus there is no ‘empty set’, and a single shoe is not a singleton set but an individual, a pair of shoes is a set. In this article we present an axiomatic definition of sets with individuals. Natural numbers and ordinals are defined. Limit ordinals are ‘first numbers’, that is a first number of the Peano axioms. For every natural number m we define ‘ωm-numbers with a first number’. Every ordinal is an ordinal with a first ω0-number. Ordinals with a first number satisfy the Peano axioms. First ωω-numbers are defined. 0 is a first ωω-number. Then we prove a first ωω-number notequal 0 belonging to ordinal γ is an impassable barrier for counting down γ to 0 in a finite number of steps. 1 What is a set? At an early age you develop the idea of ‘what is a set’. You belong to a arXiv:1311.3168v22 [math.LO] 24 May 2021 family or a clan, you belong to the inhabitants of a village or a particular region. Experience shows there are objects that constitute a set. A set can be a member of a set thus a set is an object. An object that is not a set is an ‘individual’. Individuals exist in physical reality. Experience shows an object ‘is equal to’ or ‘is not equal to’ another object. For sets the relations ‘is equal to’ and ‘is not equal to’ are defined in set theory. For individuals the relations ‘is equal to’ and ‘is not equal to’ are given in physical reality but are not known within set theory. Thus equality for individuals has to be defined in set theory. 1 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∈ / α).