Hey mathstodon, help me understand something. What does Hilbert mean when he argues that to prove the existence of a mathematical concept, you only have to prove that if it existed you arrive at no contradiction.