https://www.fira.edu.br/repositorio/artigos/logica-matematica-uma-abordagem-teorica/