I was reading an article in wikipedia about math induction: http://en.wikipedia.org/wiki/Mathematical_induction
And there is a sentence:
"Note that the first quantifier in the axiom ranges over predicates rather than over individual numbers."
It is told about the axiom of math induction:
As I understand, first quantifier is P(0)
, i.e. math induction base.
What does it mean that math induction base ranges over predicates rather than over individual numbers?