Axiom:Paaraxiom
aus GlossarWiki, der Glossar-Datenbank der Fachhochschule Augsburg
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 $
