Abstract

Explained how expressions with pathological self reference can simply be rejected as semantically/syntactically unsound thus preventing undefinability, and undecidability. This sentence is not true: "This sentence is not true" is true only because the inner sentence is semantically unsound. The inner sentence is formalized in Minimal Type Theory as LP := ~True(LP). (where A := B means A is defined as B).