Resumo Este artigo formula o Problema da Conclusão. Em vez de assumir um operador de fechamento, pergunta se uma noção canônica de conclusão pode ser reconstruída a partir de uma estrutura de restrição primitiva. O artigo introduz sistemas de conclusão, distingue a existência, minimalidade, singularidade e canonicidade das conclusões, formula a Conjectura da Conclusão e identifica as condições sob as quais o fechamento pode emergir como um operador derivado, em vez de uma suposição primitiva. Nenhuma identidade, distinguibilidade, limite, entidade ou interpretação física é assumida. O objetivo é deliberadamente restrito: determinar se o fechamento é derivável dentro do Programa de Reconstrução.
Israel Don (Ter,) estudou essa questão.