Objectivity, Realism, and Proof