Usualmente se cree que la inducción o la recursión transfinita requieren el axioma de elección.