Mathematics and Metamathematics

Stephen Wolfram discusses the relationship between mathematics and metamathematics, and how the axiomatic level of mathematics is similar to the molecular dynamics of a gas. He also explores the idea of metamathematical space and how mathematicians exist within it, picking a reference frame to understand the laws of mathematics.