Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
1 Sets
1.1 Introduction to Sets
1.2 Properties
1.3 The axioms
The axiom of Existence There exists a set which has no elements
Definition 3. Chain
Let B ⊆ A where A is ordered by ≤. B is a chain in A if any two
elements of B are comparable.
3 Natural numbers
Definition 4. The successor of a set
For any set x we define:
S(x) := x ∪ {x}
1
Definition 5. Inductive set
We call a set I inductive if
1. ∅ ∈ I
2. If n ∈ I then S(n) ∈ I.
Definition 6. Natural numbers
We define natural numbers as intersection of all inductive sets.
Definition 7. Relation < on N
We define:
n < m ⇐⇒ n ∈ m
Theorem 1. Induction principle
Let P (x) be a property. Assume that
1. P (0) holds, and:
2. For all n ∈ N, P (n) =⇒ P (n + 1)
Then P holds for all natural numbers.
Proof. We have:
A := {n ∈ N : P (n)}
which is inductive, thus:
N⊆A
Definition 8. Well-ordering
We call a linear ordering a well-ordering if every non-empty subset has
a least element.
2
5 Cardinal Numbers
Bla, bla 2ℵ0 , bla
6 Ordinal Numbers
Definition 9. Transitive set
A set T is transitive if every element of T is a subset of T .
Definition 10. Ordinal number
A set α is an ordinal number if:
1. α is transitive
2. α is well-ordered by α
Theorem 3. If α is an ordinal then S(α) is also an ordinal.
Proof. First transitivity:
x ∈ S(α)
gives two possible cases:
α < β ⇐⇒ α ∈ β
α+0=α
β + S(α) = S(β + α) For all α
β + α = sup{β + γ : γ < α} for all limit α 6= 0