XPost: sci.logic, comp.theory, sci.math   
   From: polcott333@gmail.com   
      
   Eliminating undecidability and mathematical incompleteness   
   merely requires discarding model theory and fully integrating   
   semantics directly into the syntax of the formal language.   
      
   The only inference step allowed is semantic logical   
   entailment and this is performed syntactically. A formal   
   language such as Montague Grammar or CycL of the Cyc   
   project can encode the semantics of anything that can   
   be expressed in language.   
      
      
      
   --   
   Copyright 2025 Olcott   
      
   My 28 year goal has been to make   
   "true on the basis of meaning" computable.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)