Metamathematics : Foundations & Physicalization