Looking at the linked references, I'm not sure what else is being assumed to be available or not available when considering proofs using the Church numerals. I

Looking at the linked references, I'm not sure what else is being assumed to be available or not available when considering proofs using the Church numerals. I guess that will matter a lot, and I don't know enough to make more general statements about what is or isn't sufficient here.