“Maybe you’ll be cool like Hilbert who was like: Mathematics pffft, I’m going to invent meta-mathematics like a boss”