T24

11 Dezembro 2019, 08:00 • Mário Jorge Edmundo

Princípio de recursão nos naturais mais geral (com operações bem-determinadas). Exemplos. O fecho transitivo de um conjunto. Uma classe não vazia tem elemento minimal para a pertença. Princípio da \epsilon-indução.