数理逻辑

公理化集合论, 基数, 数学, 数理逻辑, 集合论

伊士顿定理 (Easton’s theorem)

ZFC, 伊士顿定理, 基数, 幂集, 集合论

历史, 数学, 数理逻辑, 证明论, 逻辑学

根岑的相容性证明 (Gentzen’s consistency proof)

数学逻辑, 根岑, 相容性证明, 证明论, 逻辑学

人工智能, 数学, 数理逻辑, 计算机科学, 逻辑学

ω-一致理论 (Ω-consistent theory)

ω-一致性, 一致性, 哥德尔不完备性定理, 形式系统, 数理逻辑

哲学, 推理, 数理逻辑, 证明, 逻辑学

双条件消除 (Biconditional elimination)

双条件消除, 命题逻辑, 哲学, 推理规则, 逻辑

公理, 数学, 数理逻辑, 逻辑, 集合论

选择公理 (Axiom of Choice)

公理系统, 数学基础, 选择公理, 逻辑学, 集合