论文部分内容阅读
普里斯特发现为了在标准的带有真谓词符的算术语言中形式化雅布鲁序列,需要借助不动点谓词的构造.而不动点谓词本身是一种循环性结构,在这个意义上,雅布鲁序列与说谎者语句一样也具有循环性特征.通过构造一大类雅布鲁式序列,可把普里斯特的上述发现扩展到由算术可定义的无穷二元序列引导出的混合雅布鲁式序列上.同时,可以通过这类序列来检验如下论题,即一切悖论（尤其是那些雅布鲁式的悖论）的形式化都需借助不动点谓词的构造.