Indução transfinita: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Ajuste |
→Indução transfinita:
Axioma da Escolha
Princípio dos Bem - Ordenados, de Zermelo |
||
Linha 18:
A rigor, não é necessário provar a base na indução transfinita, porque este é um caso especial vazio da proposição de que se ''P'' é verdadeiro para todo ''n'' < ''k'', então ''P'' é verdadeiro para ''k''. Isto é precisamente verdadeiro, porque não há valores para ''n'' < ''k'' que poderiam servir como contra-exemplos.
Na teoria axiomática dos conjuntos [modelo ZFC], o Princípio da Indução Transfinita é equivalente ao '''Axioma da Escolha, '''pois o Princípio esta relacionado ao "Princípio dos Bem-ordenados, de Ernst Zermelo".
== Recursão transfinita ==
| |||