Em matemática, e em especial na teoria dos conjuntos, a indução transfinita é uma técnica matemática rigorosa que permite provar propriedades para todos números ordinais (ou, de forma mais geral, para qualquer conjunto (ou classe) bem ordenado) a partir de etapas finitas. É uma generalização da indução finita.
A indução transfinita foi feita, primeiro, por Georg Cantor em 1897, e foi formalizada em 1914 por Felix Hausdorff, no livro Grundzüge der Mengenlehre (Bases da Teoria dos Conjuntos) .