sentences:  Even if these principles are independent of ZF, each of their formula_3 consequences is already provable in ZF.In particular, this includes any of their consequences that can be expressed in the (first order) language of Peano arithmetic.Shoenfield's theorem also shows that there are limits to the independence results that can be obtained by forcing.