(in. Transfinite; fr. Transfini; al. Transfinit; it. Transfinito).
Expressão usada por G. Cantor para indicar os números que estão além dos números finitos. P. ex., se for transfinito, o número ordinal da classe que compreende todos os números ordinais finitos, em sua ordem natural (0, 1, 2, …), será denotado por um ômega minúsculo (G. Cantor, Contribution to the Founding of the Theory of Transfinite Numbers, trad. in., 1915) (v. infinito). Consequentemente, por “indução transfinita” entende-se a extensão da indução matemática a uma classe de números ordinais arbitrários de maneira semelhante ao modo como a indução é aplicada a uma classe bem ordenada de números ômega. [Abbagnano]