Objectivity Realism and Proof