hopfenspergerj 10 hours ago We might as well use the axiom that “you can make arbitrary choices at each stage of a transfinite induction”. It’s mostly pedagogical tradition to make students translate that into one of the classical forms of Choice in their proofs. dullcrisp 2 hours ago Does transfinite induction without the ability to make arbitrary choices make sense? Or is the axiom just that you can do transfinite induction?
dullcrisp 2 hours ago Does transfinite induction without the ability to make arbitrary choices make sense? Or is the axiom just that you can do transfinite induction?
We might as well use the axiom that “you can make arbitrary choices at each stage of a transfinite induction”. It’s mostly pedagogical tradition to make students translate that into one of the classical forms of Choice in their proofs.
Does transfinite induction without the ability to make arbitrary choices make sense? Or is the axiom just that you can do transfinite induction?