带有阶乘运算符的一阶Peano算术系统中的Berry-like句子
摘要：Peano算术系统中引入了一阶Peano算术系统与阶乘操作（PAF）。对于PAF中具有自由变量x的任意公式A(x)，我们定义了一个相应的B-公式，意味着存在一个唯一的最小自然数，满足公式A(x)并且满足B-公式（如果A(x)是可满足的）。然后，我们构建了一个公式，意味着“存在一个x，对于任意Godel编码小于常数a的B-公式，x不满足这个B-公式，并且x是具有此特征的数字中最小的数字。”然而，构建的公式本身是一个B-公式，并且它的Godel编码小于a。因此，它是一个仅用十个单词写成的Berry句子“The smallest positive integer not nameable in under eleven words”在PAF中的版本。
作者：T. Mei
论文ID：math/0607459
分类：Logic
分类简称：math.LO
提交时间：2007-05-23