3 ms·
Does transfinite induction without the ability to make arbitrary choices make sense? Or is the axiom just that you can do transfinite induction?
by dullcrisp 1y ago
Does transfinite induction without the ability to make arbitrary choices make sense? Or is the axiom just that you can do transfinite induction?