On the consistency of ZF set theory and its large cardinal extensions