雅布鲁相关硕士博士期刊学术论文

普里斯特发现为了在标准的带有真谓词符的算术语言中形式化雅布鲁序列,需要借助不动点谓词的构造.而不动点谓词本身是一种循环性结......