This statement is unprovable.

Godel is best known for the Incompleteness Theorem which reshaped our view of mathematics. This is part of the answer as to whether mathematics is a science of abstraction or an art. Godel showed that much of mathematics is beyond our understanding and that we are discovering mathematics.