Por lo tanto todo natural es un ordenal finito.