Interesting read. Why I am not sure about "Ruliads" :-), it led me to a previous post of his [0], where he talks about how he found the minimal axiom system for

Interesting read. Why I am not sure about "Ruliads" :-), it led me to a previous post of his [0], where he talks about how he found the minimal axiom system for classical propositional logic. [0] https://writings.stephenwolfram.com/2018/11/logic-explainability-and-the-future-of-understanding/ https://writings.stephenwolfram.com/2018/11/logic-explainabi...