\(\epsilon\) Induction

Induction over natural numbers is a standard tool in Mathematics. But what about doing induction over real numbers (non-negative real numbers)? The structure is different and it’s not immediately clear what is meant, so let me clarify it. [Read More]