Abstract: This paper reviews Post closed classes and the achievements in research on the discrete predicative systems, puts forward new questions and and applicable prospects of the research.

摘要： 概述波斯特封闭类与离散谓词系统的研究成果，提出这类研究中的新问题和应用前景。

关键词: 代数系统, 完备性, 封闭类

CLC Number: 

• O141