The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics
Stephen Wolfram
MARCH 7, 2022
11 Proofs in Accumulative Systems. 15 Axiom Systems of Present-Day Mathematics. 11 | Proofs in Accumulative Systems. 15 | Axiom Systems of Present-Day Mathematics. For convenience we’ll often refer to such multiplication tables by numbers FromDigits [ Flatten [m],k] , here 0, 1, 5, 7, 10, 15.)
120 
Let's personalize your content