Return to Revisions

The fact that every partial order forces ZFC is magical, in the sense of your question, since in diverse circumstances one may easily build the partial order of atttempts to construct a desired object, and thereby obtain the actual existence of such an object in a forcing extension, where the axioms of ZFC still hold. Magic!