Dear FOMers, I was told about Kreisel's result stating that ZF + AC + GCH is a conservative extension of ZF with respect to sentences about natural numbers. Is it true? Where one can find it? Best Roman Murawski