新基础集合论（综述.pdfVIP

新基础集合论（综述）

在数学逻辑中，新基础（NewFoundations，简称NF）是⼀种⾮良基、可有限公理化的集

合论，由威拉德·范·奥曼·奎因构思，旨在简化《数学原理》中的类型论。

1.定义

NF的良构公式是命题演算的标准公式，具有两个基本谓词：相等（=）和成员关系（∈）。

NF可以通过两个公理模式来表述：

外延性：具有相同元素的两个对象是相同的对象。形式化地说，给定任意集合A和任意集

合，如果对于任意集合，是的成员当且当是的成员，则等于。

BXXAXBAB

受限的理解公理模式：对于每个分层公式ϕ，集合{x∣ϕ}存在。

⼀个公式ϕ被称为分层的，如果存在⼀个从ϕ的语法结构的各部分到⾃然数的函数f，使

得：对于ϕ中的任意原⼦⼦公式x∈y，满⾜f(y)=f(x)+1；对于ϕ中的任意原⼦⼦公式

x=y，满⾜f(x)=f(y)。

有限公理化