Not every forall is induction. Induction works only for natural numbers.
But the epsilon is a forall over rational numbers (or real number), what induction do you have in mind.
And why do you call Peano crapaxioms, when nevertheless you say induction is needed here.
Ever incurred to you that Peano axioms capture natural numbers and their induction?
Am Sonntag, 1. Oktober 2017 15:17:49 UTC+2 schrieb John Gabriel: > Each time I think you can't say anything more stupid, you surprise me. > Listen stupid, the forall you have there is based on induction. There is no forall. A Cauchy sequence does not require "forall". The "forall" is a result of inference.