zfc doesn't have functions, so you are building something new on top of it.

Also, I am not sure successor function is enough for PA.