Die Klasse aller Sätze von der
Form F(x) ist der Satz (x) φx.