[math-fun] math, existence, and God