Prädikatenlogik/Existenz/Variablenumformulierung/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Nach Axiom, angewendet auf , ist

Da in gebunden vorkommt und in gar nicht, kann man Axiom anwenden und erhält

Zur bewiesenen Aussage