XPost: comp.theory, sci.math   
   From: polcott333@gmail.com   
      
   On 1/1/2026 11:57 PM, Tristan Wibberley wrote:   
   > On 02/01/2026 03:33, olcott wrote:   
   >   
   >> True in the base system essentially means   
   >> a theorem of the base system.   
   >   
   > No, but a lot of people might say "true in the base system" when they   
   > ought to say "a theorem of the base system" which means there is a   
   > derivation from the axioms of the formal system using only the deduction   
   > rules of the formal system (which are restricted in what they can   
   > possibly be).   
   >   
      
   "true on the basis of meaning expressed in language"   
   Means true in the base system. That is the generic   
   way that truth has always worked long before math   
   was derived.   
      
   > "True" has such a variety of meanings that it should be avoided except   
   > for when it describes the speaker's feelings about reality.   
   >   
   >   
      
      
   --   
   Copyright 2025 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-DOS v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)