Only a countable subset of such potential proofs exist, which more the enough to answer every question of that type that can ever be asked.

Countability is not just a limit on our ability, it's also a limit on our needs.