XPost: comp.theory, sci.logic, sci.math   
   XPost: sci.lang   
   From: polcott333@gmail.com   
      
   ...there is also a close relationship with the “liar” antinomy,14 ...   
   ...14 Every epistemological antinomy can likewise be used for a similar   
   undecidability proof...   
   ...We are therefore confronted with a proposition which   
   asserts its own unprovability. 15 … (Gödel 1931:40-41)   
      
   Gödel, Kurt 1931.   
   On Formally Undecidable Propositions of   
   Principia Mathematica And Related Systems   
      
   Even when Gödel directly admits that it is   
   as simple as that and people see that he   
   admitted it they still deny this.   
      
   G := (F ⊬ G) // where A := B means A "is defined as" B   
      
   LP := ~True(LP) // "This sentence is not true".   
      
   The Liar Paradox is an epistemological antinomy   
      
   epistemological antinomy   
   An epistemological antinomy is a fundamental,   
   unresolvable contradiction within human reason,   
   where two opposing conclusions, each supported   
   by seemingly valid arguments, appear equally true.   
      
   --   
   Copyright 2026 Olcott

   
      
   My 28 year goal has been to make 
   
   "true on the basis of meaning expressed in language"
   
   reliably computable.

   
      
   This required establishing a new foundation
   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)