(PKfse)": (A) ε Kse, wobei „Kse" die Klasse der Sätze ist, welche das Zeichen „Sokrates" enthalten.

Sind bzw. inwieweit sind nun die jeweiligen Formal-Klassifikationen von Satz (A) - also die „Sätze": „(Kfpr)", „(Kfsy)" „(Kfse)" - bzw. deren Formalisierungen - also die formalisier: ten „Sätze": „(PKfpr)", „(PKfsy)", „(PKfse)" - problematisch? Sind dies überhaupt sinnvolle Sätze? Dass diese „Sätze" problematisch und nicht sinnvoll sind, das soll an 2wei möglichen Folgen aus diesen Formal-Klassifikationen bzw. aus deren erneuten Formalisierungen gezeigt werden.