Aritmetica con gli ordinali
Abbiamo visto come i numeri ordinali corrispondano a un insieme di numeri “messi in ordine”, a differenza dei numeri cardinali che dell’ordine non si curano e sono quelli che usiamo di solito: se ho cinque caramelle in genere non mi interessa sapere qual è la prima, a meno che io non voglia iniziare con quella che mi piace di più. Finché ci limitiamo ai numeri finiti non ci sono grandi differenze; quando però si passa all’infinito non si sa mai cosa possa capitare, e il fatto che il più piccolo ordinale transfinito, ω, abbia un nome diverso dal più piccolo cardinale transfinito, ℵ0 dà qualche sospetto. E in effetti…