XPost: comp.theory, sci.math, sci.math.symbolic   
   From: Bonita.Montero@gmail.com   
      
   Am 22.01.2026 um 18:25 schrieb olcott:   
   > Well-founded proof theoretic semantics where   
   > True(L, x) is anchored in provability from   
   > the axioms of formal system L seems to   
   > eliminate the undecidability that model   
   > theoretic semantics encounters when truth is   
   > measured from outside of the formal system in   
   > a separate model.   
   >   
      
   You're sooooooo sick !   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)