Traductions de „Ersetzungsaxiom“ dans le dictionnaire allemand » anglais

Ersetzungsaxiom SUBST

Entrée d'utilisateur

Ersetzungsaxiom nt MATH

axiom schema of replacement

Exemples monolingues (non-vérifiés par l'équipe de rédaction)

allemand

Man erhält nämlich die Aussonderungsmenge offenbar als per Ersetzungsaxiom.

de.wikipedia.org

Unendlichkeitsaxiom und Ersetzungsaxiom sind im Rahmen der übrigen Axiome äquivalent zum Reflexionsprinzip.

de.wikipedia.org

Die Menge, deren Existenz das Ersetzungsaxiom garantiert, ist aufgrund des Extensionalitätsaxioms eindeutig bestimmt.

de.wikipedia.org

Er bemerkte auch, dass aus dem Ersetzungsaxiom das Aussonderungsaxiom und das Paarmengenaxiom ableitbar sind.

de.wikipedia.org

In der prädikatenlogischen Sprache wird das Ersetzungsaxiom präzisiert als Axiomenschema, das unendlich viele Axiome umfasst.

de.wikipedia.org

Das Ersetzungsaxiom erlaubt die Konstruktion all dieser „großen Mengen“.

de.wikipedia.org

Das Ersetzungsaxiom erlaubt es, das Prinzip der transfiniten Rekursion zu beweisen.

de.wikipedia.org

Das Ersetzungsaxiom beinhaltet das Aussonderungsaxiom.

de.wikipedia.org