« first day (1169 days earlier)      last day (3159 days later) » 

Martin Sleziak
Martin Sleziak
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 induction+ordinals for this type of questions.
Transfinite induction is listed in elementary-set-theory tag-info.
 

« first day (1169 days earlier)      last day (3159 days later) »