(n) fn ≠ φn ⌵ (∃n) φn = φn. Diese Disjunktion ist ganz in der Ordnung wenn ihre Glieder Sinn haben & das ist der Fall wenn eines von ihnen Sinn hat. Die Frage ist nur: hat es Sinn irgend eines der beiden Glieder hinzuschreiben?