From: mikko.levanto@iki.fi   
      
   On 06/01/2026 04:32, Tristan Wibberley wrote:   
   > On 05/01/2026 14:20, Mikko wrote:   
   >> A significantly simpler proof would be interesting but only if it is   
   >> a complete proof.   
   >   
   > His isn't a complete proof as far as I can see. The theorem is about   
   > each system of a certain class and it doesn't look like his proof covers   
   > that fully. Not that I disagree with you but the bar disqualifies Gödel too.   
      
   Gödel's proof covers Peano arithmetic and its extensions, which is   
   sufficient for many puprposes.   
      
   --   
   Mikko   
      
   --- SoupGate-DOS v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)