Prädikatenlogik/Existenzeinführung im Sukzedens/Axiom
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