Kann man eben nur sagen: „(∃x) φx ist wahr, wenn irgend ein Satz von der Form „φx” wahr ist”? Und wie wäre es mit „(x) φx” sollte man erklären, daß dieser Satz wahr ist wenn alle Sätze von der Form φx wahr sind?