Axiom:Paaraxiom
TO BE DONE
von Giuseppe Peano definiert[1]
Bedeutung des Paaraxioms
Geordnete Paare sind im Gegensatz zu Mengen tatsächlich geordnet. Bei Paarmengen spielt die Reihenfolge der Elemente keine Rolle ($\{a,b\} = \{b,a\}$). Bei Paaren kommt es dagegen aufgrund des Paaraxioms auf die Reihenfolge an:
Die Rückrichtung des Paaraxiom („Aus der Gleichheit von $a$ und $c$ sowie von $b$ und $d$ folgt die Gleichheit der beiden Paare $[a,b]$ und $[c,d]$“) ist trivialerweise immer erfüllt, sofern man die Gleichheit mit Hilfe des „Prinzips von der Identität des Ununterscheidbaren“ definiert.
Interessant ist daher vor allem die Aussage, dass aus der Gleichheit zweier Paare die Gleichheit der zugehörigen Elemente folgt. Dies hat zwei nicht nur zur Folge, dass – wie gesehen – die Elemente einer Paarmenge geordnet sind, sondern im Umkehrschluss (logische Kontraposition) auch, dass sich zwei Paare unterscheiden, sobald sie sich in mindestens Element unterscheiden:
Quellen
- ↑ Peano (1897b): Giuseppe Peano; Formulaire de Mathématiques; Band: 2; Verlag: Bocca frères und Ch. Clausen; Web-Link; 1897; Quellengüte: 5 (Buch), S. 6, Nr. 70 und Nr. 71