Prädikatenlogik/Existenzeinführung im Sukzedens/Axiom

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Existenzeinführung im Sukzedens

Es sei ein Symbolalphabet erster Stufe, ein - Ausdruck, eine Variable und ein - Term. Dann ist