"canonical" and "finite model property" are different conceptions,which are relevant to the system s completeness.
系统的“典范性”与“有限模型性质”是与“完全性”紧密相关却又有本质不同的概念。
本站部份资料来自网络或由网友提供,如有问题请速与我们联系,我们将立即处理!
版权所有©四级英语单词 网站地图 陇ICP备2023000160号-4
免责声明:本站非营利性站点,以方便网友为主,仅供学习。