Comment by Silamoth

At best that seems like a nitpick based on a specific notion of “all of mathematics”. Care to explain what you mean?