XPost: comp.theory, sci.math   
   From: polcott333@gmail.com   
      
   A prove is any sequence of steps that shows   
   that its conclusion is necessarily true. Its   
   a kind of semantic tautology.   
      
   *A semantic tautology is defined as*   
   In epistemology (theory of knowledge), a   
   self-evident proposition is a proposition   
   that is known to be true by understanding   
   its meaning ...   
   https://en.wikipedia.org/wiki/Self-evidence   
      
   --   
   Copyright 2025 Olcott   
      
   My 28 year goal has been to make   
   "true on the basis of meaning" computable.   
      
   This required establishing a new foundation   
   for correct reasoning.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)