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