XPost: sci.logic, comp.theory   
   From: polcott333@gmail.com   
      
   All that we must do to defeat the Tarski Undefinability Theorem:   
      
   We define the notion of formal system as an extended   
   version of Prolog's Facts and Rules. This new system   
   can handle arbitrary orders of logic. Encodes Facts   
   in formalized natural language.   
      
   The Rules only allow semantic logical entailment from   
   Facts. When we do this Tarski's Liar Paradox basis is   
   simply rejected as untrue and   
   Boolean True(Language L, Expression E) becomes definable.   
      
      
   --   
   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)