How about this: Inaccessible cardinals and Andrew Wiles's proofInaccessible cardinals and Andrew Wiles's proof
I guess turns out to be false that the Wiles proof requires inaccessible cardinals.
But Grothendieck cohomology theories do, so could you perhaps consider them to be "number theory"?