[continued from previous message]   
      
   > infinity works, and it seems you don't actually understand how induction   
   > works, so nothine proven by it.   
   >   
   >   
   >>   
   >>>   
   >>>>   
   >>>>>>   
   >>>>>>   
   >>>>>>> True is a formal system means that there is a (possible infinite)   
   >>>>>>> sequence of the Truth Preserving operations (defined in the   
   >>>>>>> system) from the Fundamental Truth Makers (axiom) of the system.   
   >>>>>>>   
   >>>>>>> The problem is that any statement True by only an infinite   
   >>>>>>> sequence of Truth Preserving operations can't be proven, as   
   >>>>>>> Proofs are defined as Finite sequences.   
   >>>>>>>   
   >>>>>>   
   >>>>>>   
   >>>>>   
   >>>>   
   >>>>   
   >>>   
   >>   
   >>   
   >   
      
      
   --   
   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-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)