Skriptum zur Vorlesung Mengenlehre

4.1. PAARE 25Tatsächlich gibt es aufgrund der bisherigen Axiome bereits unendlich viele Mengen,z. B./0,{/0},{{/0}},{{{/0}}},... usw., aber die Existenz einer Menge mit mehr alszwei Elementen ist damit noch nicht nachweisbar!Intensionale Charakterisierung der GleichheitUnter der Voraussetzung, daß zu jeder Menge a die Einermenge {a} existiert, giltalso (indem man für x die Menge {a} setzt):∀x(a ∈ x → b ∈ x) → a = b, insbesondere∀x(a ∈ x ↔ b ∈ x) ↔ a = b.Geordnetes Paar (Wiener 1914, Kuratowski 1921)(a,b) := {{a},{a,b}}geordnetes PaarSatz: Charakteristische Eigenschaft des geordneten Paares(i) (a,b) = (c,d) ↔ a = c ∧ b = d(ii) (a,b) = (b,a) ↔ a = bBeweis von (i): Offensichtlich gilt nach Definition der Paarmenge bzw. Einermenge:(∗) {a,b} = {c} → a = b = c,was wir wiederholt benutzen werden.Es sei nun also (a,b) = (c,d), d. h. {{a},{a,b}} = {{c},{c,d}}.1.Fall: c = d. Die Vor. lautet dann: {{a},{a,b}} = {{c},{c}} = {{c}},also gilt nach (*) {a} = {a,b} = {c},und daraus folgt wiederum mit (*): a = b = c.2.Fall: c ≠ d. Wegen {a} ∈ {{a},{a,b}} = {{c},{c,d}} gilt:{a} ∈ {{c},{c,d}}, also: {a} = {c} oder {a} = {c,d}.Wegen c ≠ d kann letzteres nicht gelten, wir erhalten also {a} = {c} unddamit a = c. Ähnlich gilt wegen {c,d} ∈ {{a},{a,b}}:{c,d} = {a} (nicht möglich wegen c ≠ d) oder {c,d} = {a,b} = {c,b}(letzteres wegen a = c), dann aber: d = b.□