[concreteblock]

In an effort to understand what you mean by 'induction' and 'infinity', can you explain where induction comes up in the following standard definition of a limit:

"f has a limit L at x" means exactly that

"forAll epsilon>0 thereExists delta>0 such that if |x-y|<delta then |f(y)-L|<epsilon."

[javajosh]

"forAll"

[concreteblock]

Okay, I see a link to 'infinity' there, because there are infinitely many reals. Is that what you're going for?

If so, the link seems irrelevant and in particular I don't see how this leads to circularity in the definition. Can you explain this further?