I&#x27;m not very familiar with the history of this area, but I&#x27;ve heard repeatedly that Wolfram has a pattern of implicitly or explicitly taking credit for results he wasn&#x27;t the first person to discover.  Can anyone comment on his claim that he found &quot;the provably very simplest axiom system for logic?&quot;