XPost: comp.theory, sci.math, sci.lang   
   XPost: comp.lang.prolog   
   From: mikko.levanto@iki.fi   
      
   On 05/02/2026 18:55, olcott wrote:   
      
   > Changing the foundational basis to Proof Theoretic Semantics   
   > Tarski Undefinability is overcome   
   >   
   > x ∈ Provable ⇔ x ∈ True // proof theoretic semantics   
      
   A definition in terms of an undefined symbol does not really define.   
      
   --   
   Mikko   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)