P is conservative over first order predicate logic (0)

by E Barendsen, H Geuvers