Borel determinacy theorem
In 1971 , before the theorem was proved , Harvey Friedman showed that any proof of the theorem in Zermelo–Fraenkel set theory must make repeated use of the axiom of replacement . 
<triplet> axiom of replacement <subj> Zermelo–Fraenkel set theory <obj> part of