Axiom:Paaraxiom

TO BE DONE

Für alle Elemente $a$, $b$, $c$, $d$ gilt, dass die Paare $[a,b]$ und $[c,d]$ genau dann gleich sind,

wenn sowohl $a$ und $c$ als auch $b$ und $d$ einander gleich sind.

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

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

von Giuseppe Peano definiert

Siehe auch

• Geordnetes Paar