#FF# |
|
| Assim sendo, podemos dizer que existem conjuntos do TIPO A, que não pertencem a si próprios e do TIPO B, que pertencem a si próprios.
Pela lógica usual (bivalente), todos os conjuntos que não são do tipo A são do tipo B, i.e., todos os conjuntos podem ser classificados como tipo A ou tipo B, de maneria exclusiva.
|
| |