Proof verification within set theory