« first day (1169 days earlier)   

7:06 AM
Transfinite induction was mentioned in chat a few times in the past: chat.stackexchange.com/…
But no extensive discussion.
As far as I can say, so far we have used + for this type of questions.
Transfinite induction is listed in elementary-set-theory tag-info.
 

« first day (1169 days earlier)