The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics