人物百科故事网

当前位置：首页 > 经典书库 > 逻辑百科辞典

算术谓词

书籍:逻辑百科辞典

可用一阶数论公式表示的谓词。

n元谓词P是算术谓词当且仅当其外延集｛(x，…，x)｜P(x，…，x)为真｝是算术集。(参见算术集，算术分层。)

上一篇：塔尔斯基不可定义性定理下一篇：《数理逻辑教程》

分享到：