First-Order Frege Theory is Undecidable
- Cite this article as:
- Goldfarb, W. Journal of Philosophical Logic (2001) 30: 613. doi:10.1023/A:1013362627445
- 51 Views
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.