Übersetzung für 'Axiomenschema' von Deutsch nach Englisch

Axiomenschema {n}

axiom schemaphilos.

• Die Epsilon-Induktion ist ein Axiomenschema, während das Regularitätsaxiom ein einziges Axiom ist, welches nur Mengen betrifft.
• Zum Axiomensystem gehört auch ein Axiomenschema der vollständigen Induktion.
• Ein Axiomenschema (Plural: Axiomenschemata) wird durch eine rekursive Definition beschrieben.
• Fügt man dem System T das Axiomenschema 5 hinzu, erhält man das System S5.
• Das Ersetzungsaxiom ist das einzige Axiomenschema in ZF, wenn man die Redundanzen der Axiome beseitigt und sich auf ein System unabhängiger Axiome beschränkt.

  ---

• Gottlob Freges Grundgesetz der Werthverläufe (Grundgesetz V) ist ein Axiomenschema aus der naiven Mengenlehre.
• Thoralf Skolem bestätigte diese Unmöglichkeit und gab 1922 eine Formulierung als Axiomenschema.
• Alternativ zu – wie hier – konkreten Axiomen kann man auch "Axiomenschemata" angeben, in welchem Fall man auch ohne Substitutionsregel auskommt.