transfinite induction

(mathematics)   Induction over some (typically large) ordinal.

Last updated: 1995-03-30


Loading