clarifying that a proof in set theory is not a construction