https://oftencrypto.com/posts/axiomizing-physics-mathematicians-solve-hilberts-sixth-problem