XPost: comp.theory, sci.logic, sci.math   
   From: chris.m.thomasson.1@gmail.com   
      
   On 10/19/2025 8:03 AM, olcott wrote:   
   > On 10/19/2025 3:44 AM, Mikko wrote:   
   >> On 2025-10-18 10:58:15 +0000, olcott said:   
   >>   
   >>> On 10/18/2025 4:30 AM, Mikko wrote:   
   >>>>   
   >>>> That is not a sense of "proof".   
   >>>   
   >>> That is the correct way to do a proof.   
   >>   
   >> A way to do is not a sense.   
   >>   
   >   
   > The conventional way to do proofs concludes that   
   > within its rules if the Moon is made from green   
   > cheese and the Moon is not made from green cheese   
   > this proves that Donald Trump is the Lord and savior Jesus Christ.   
      
   Oh man. You need help!   
      
      
   >   
   > https://liarparadox.org/Meaning_Postulates_Rudolf_Carnap_1952.pdf   
   >   
   > Formalizing ALL semantics syntactically and allowing   
   > semantic logical entailment as the only rule of inference   
   > prevents nonsense like this:   
   > https://en.wikipedia.org/wiki/Principle_of_explosion   
   >   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)