If we prove that a proof exists, why isn't this effectively the same as finding the actual proof?
Read another response by Peter Smith
Read another response about Mathematics