Denn wenn die Positive Tatsache φa gegeben ist dann ist auch die Möglichkeit für (x).φx, ~(∃x).φx, ~φ(a) etc. etc. gegeben. (alle
logischen Constanten sind bereits im ElementarSatz enthalten)