Transfiniete inductie
Transfiniete inductie is een vorm van inductie die de volledige inductie op natuurlijke getallen naar willekeurige welgeordende verzamelingen uitbreidt, bijvoorbeeld verzamelingen van ordinaal- of kardinaalgetallen.

Voor ordinaalgetallen bestaat een bewijs met transfiniete inductie, dat een uitspraak  geldig is voor alle ordinaalgetallen, meestal uit drie delen:
 een bewijs dat  geldig is voor ;
 een bewijs dat, uit de veronderstelling dat  geldt voor een willekeurig ordinaalgetal , ook  volgt;
 een bewijs dat, uit de veronderstelling dat voor een willekeurig limiet-ordinaal ,  geldig is voor alle  volgt, dat  geldig is.

Wiskundige logica
Verzamelingenleer