https://1library.org/document/zpnpkp70-rascunho-conjuntos-fundamentos-fernando-ferreira-universidade-lisboa-setembro.html