Teoria_ingênua_dos_conjuntos loading ...