" Wittgenstein was brilliant enough to see that math is, and must be, pure tautology, but not brilliant enough to see that mathematical tautology is descriptive and
real, not empty and abstract. "

― , Gödel Versus Wittgenstein (The God Series Book 29)