数理逻辑

历史人物, 哲学, 学术研究, 数理逻辑, 美国哲学家

伯顿·德雷本 (Burton Dreben)

伯顿·德雷本, 哲学家, 学术, 数理逻辑, 逻辑学

拓扑学, 数学, 数理逻辑, 逻辑学, 集合论

苏斯林树 (Suslin Tree)

数学, 树, 苏斯林树, 连续统假设, 集合论

哲学, 数理逻辑, 计算机科学, 语义学, 逻辑学

真值谓词 (Truth Predicate)

塔尔斯基, 形式语义学, 真值, 真理, 谓词

历史, 哲学, 数学, 数理逻辑, 逻辑学

弗雷格定理 (Frege’s theorem)

弗雷格, 弗雷格定理, 数学哲学, 逻辑, 逻辑主义

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

伊士顿定理 (Easton’s theorem)

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