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 Konstanten sind bereits im Elementarsatz enthalten.)