Indução transfinita - Outras línguas