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