Ferramentas do usuário
solucao:boatotal
Tome dois elementos quaisquer $a$ e $b$ e o conjunto $X$ formado por ambos. Pela definição de boa ordem sabemos que $a \leq b$ ou $b \leq a$, ou seja, são comparáveis. Concluímos então que toda boa ordem é total.
solucao/boatotal.txt · Última modificação: 2020/11/06 16:05 (edição externa)
Ferramentas da página
Exceto onde for informado ao contrário, o conteúdo neste wiki está sob a seguinte licença: CC Attribution-Share Alike 4.0 International
