XPost: sci.math   
   From: invalid@example.invalid   
      
   Am 19.01.2026 um 02:24 schrieb Python:   
   > Le 19/01/2026 à 00:41, olcott a écrit :   
   >>   
   >> I already just said that the proof [or] refutation of   
   >> Goldbach are outside the scope of PA axioms.   
      
   Huh?! How does this fool "know" that?   
      
   >> Any proof or refutation of Goldbach would have to use   
   >> principles stronger than the axioms of PA, because PA   
   >> itself does not currently derive either direction.   
      
   Huh?! How does this fool "know" that?   
      
   > "currently"? What kind of language is that? PA is what it is, it not   
   > changing with time !   
   >   
   > You could have said that about Fermat's theorem back in the day ... It   
   > happen[ed] not to be the case.   
      
   Right. Actually, there were some speculations of this kind.   
      
   But, you see...   
      
   --   
   Diese E-Mail wurde von Avast-Antivirussoftware auf Viren geprüft.   
   www.avast.com   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)