https://1library.org/document/ye3r994q-carater-intuitivo-teoria-conjuntos-dedekind-consideracoes-axioma-regularidade.html