hopfenspergerj 9 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 an hour 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 an hour 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?