Nomen
/ˈæk.si.ɒm əv pɛər/
Das "Axiom of Pair" ist eine grundlegende Annahme in der Mengenlehre, die besagt, dass für jede Menge ( a ) und ( b ) eine Menge existiert, die genau ( a ) und ( b ) als Elemente hat. Diese axiomatische Feststellung ist eines der Zermelo-Fraenkel-Axiome, die oft in der klassischen Mengenlehre verwendet werden. Die Verwendung ist oft in schriftlichen Kontexten zu finden, insbesondere in mathematischen und theoretischen Diskussionen.
Das Axiom der Paarbildung besagt, dass für jede zwei Mengen eine Menge existiert, die genau diese zwei Mengen enthält.
In set theory, the axiom of pair plays a crucial role in the construction of sets.
In der Mengenlehre spielt das Axiom der Paarbildung eine entscheidende Rolle bei der Konstruktion von Mengen.
The axiom of pair is one of the foundational axioms of Zermelo-Fraenkel set theory.
Da es sich um ein sehr spezifisches Konzept handelt, gibt es keine weit verbreiteten idiomatischen Ausdrücke, die das "axiom of pair" enthalten. Dennoch ist es wichtig, einige verwandte Begriffe in der Mathematik zu erwähnen:
"Bausteine" von Mengen können oft auf das Axiom der Paarbildung zurückverweisen.
"Foundational principles" in set theory include the concept of the axiom of pair.
Das Wort "Axiom" stammt vom griechischen "axioma" (αξίωμα), was "was für wertvoll erachtet wird" bedeutet. Es bezieht sich auf eine grundlegende Wahrheit oder Grundlage in der Mathematik oder Logik, auf der Theorien aufgebaut werden. Der Begriff "Pair" leitet sich aus dem lateinischen "paria" ab und bedeutet "ein Paar".
Synonyme: Grundannahme, Basisaxiom Antonyme: Widerspruch, Folgerung