Induzione transfinita: differenze tra le versioni

Tipicamente il caso di ordinale limite viene affrontato notando che un ordinale limite ''b'' è, per definizione, l'[[estremo superiore]] di tutti gli ordinali ''a''<''b'' e usando poi questo fatto per dimostrare che, supponendo che P(''a'') valga per tutti gli ''a''<''b'', vale anche P(''b'').

 

[[de:Transfinite Induktion]]