The Physicalization of Metamathematics and the Implications for Its Foundations April 7, 2022 Comments