Wait till you hear about oracle machines. They can solve any problem, even the halting problem.

(It’s just another mathematical construct that you can do cool things with to prove certain things)