Prädikatenlogik/Existenzeinführung im Sukzedens/Axiom
Erscheinungsbild
Existenzeinführung im Sukzedens
Es sei ein Symbolalphabet erster Stufe, ein -Ausdruck, eine Variable und ein -Term. Dann ist
Es sei ein
Symbolalphabet erster Stufe,
ein
-Ausdruck,
eine Variable und
ein
-Term.
Dann ist