词条„Ersetzungsaxiom“在德语 » 英语中的译文

Ersetzungsaxiom 名词

用户条目

Ersetzungsaxiom nt 数学

axiom schema of replacement

单语范例（未经PONS编辑处理）

德语

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