Axiom:Paaraxiom

Dieser Artikel erfüllt die GlossarWiki-Qualitätsanforderungen nur teilweise:

Korrektheit: 4 (großteils überprüft)

Umfang: 3 (einige wichtige Fakten fehlen)

Quellenangaben: 5 (vollständig vorhanden)

Quellenarten: 5 (ausgezeichnet)

Konformität: 5 (ausgezeichnet)

Definitionen

Voraussetzung

Es sei $[\cdot,\cdot]$ ein zweistelliger Operator, der jeweils zwei „Elemente“/„Objekte“ des gegebenen Universums auf ein „Element“/„Objekt“ des Universums abbildet. Falls dieser Operator das Paaraxiom erfüllt, heißen Elemente der Art $[a,b]$ geordnete Paare.

Paaraxiom: Definition in Metametasprache

Zwei geordnete Paare $[a,b]$ und $[c,d]$ sind genau dann gleich, wenn sowohl $a$ und $c$ als auch $b$ und $d$ gleich sind.

Paaraxiom: Definition in Metasprache dieses Wikis|

$\forall a,b: [a,b] = [c,d] \Leftrightarrow a=c \,\&\,b=d $

Paaraxiom: Definition in Objektsprache dieses Wikis

$\bigwedge a,b: [a,b] = [c,d] \leftrightarrow a=c \,\wedge\,b=d $

Freges Paar-Begriff erfüllt das Paaraxiom, Frege (1893), Tafel der wichtigeren Lehrsätze, S. 248

Geschichte

Das Paaraxiom wurde 1897 von Giuseppe Peano eingeführt. Allerdings hat Gottlob Frege bereits vier Jahre zuvor geordnete Paare $o;a$ innerhalb seines Axiomensystems definiert und die Eigenschaften, die Peanos Paaraxiom fordert, dafür bewiesen.

Eigenschaften von geordneten Paaren

Bei Paarmengen spielt die Reihenfolge der Elemente keine Rolle:

$\bigwedge a,b: \{a,b\} = \{b,a\}$

Im Gegensatz dazu sind geordnete Paare – wegen des Paaraxioms – tatsächlich geordnet:

$\bigwedge a,b: [a,b] = [b,a] \leftrightarrow a = b$

Siehe auch

• Geordnetes Paar