“Any predicate that is true of zero, and is true of the successor of every number it is true of, is true of all integers”
Natural numbers, rather. (Minor typo.)
Natural numbers, rather. (Minor typo.)