XPost: comp.theory, sci.logic, sci.math   
   From: polcott333@gmail.com   
      
   Rejecting expressions of formal language   
   having pathological self-reference   
      
   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).   
      
   https://philpapers.org/rec/OLCREO   
      
   Can someone review my actual reasoning   
   elaborated in the paper?   
      
   --   
   Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius   
   hits a target no one else can see." Arthur Schopenhauer   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)