Conjunto infinito

Na teoria dos conjuntos, um conjunto é infinito se possui uma correspondência biunívoca com um dos seus subconjuntos próprios. Um conjunto infinito pode ser enumerável ou não.

Exemplos

Teoria dos Conjuntos

Dentre os Axiomas de Zermelo-Fraenkel, o axioma do infinito garante a existência de (pelo menos) um conjunto infinito. É possível conceber sistemas de axiomas onde a sua negação é explícita, ou seja, em que todos os conjuntos são finitos.

Ver também

Referências

  1. ↑ Wrede & Spiegel, p. 16.

Bibliografia


Ícone de esboço Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.