First-Order Frege Theory is Undecidable

被引：0
|
作者：
Warren Goldfarb
机构：
[1] Harvard University,Department of Philosophy
来源：
Journal of Philosophical Logic | 2001年 / 30卷
关键词：
decidability; Frege; extensions;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
The system whose only predicate is identity, whose only nonlogical vocabulary is the abstraction operator, and whose axioms are all first-order instances of Frege's Axiom V is shown to be undecidable.
引用
收藏
页码：613 / 616
页数：3
相关论文
共 50 条
12345