Indução transfinita: diferenças entre revisões

 

== Indução transfinita ==

Uma prova por indução transfinita requer o (único) passo seguinte:

 

 

== Recursão transfinita ==

A '''recursão transfinita''' é uma forma de definir objetos a partir dos ordinais, de um conjunto bem ordenado ou mesmo de uma classe bem ordenada.

 

Por exemplo, o [[Universo de von Neumann]] é uma classe de conjuntos ''V_λ'' definidos por recursão transfinita.

 

 

[[Categoria:Teoria dos conjuntos]]