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