Wie verhält es sich mit Sätzen wie:
(∃φ) . (∃x) .φ(x)
und:
(∃φ) . (∃x) . ~φ(x)?
Ist einer von diesen eine Tautologie? Sind dies Sätze einer Wissenschaft, d.h. sind dies überhaupt Sätze?