Journal of Philosophical Logic

, Volume 30, Issue 6, pp 613–616

First-Order Frege Theory is Undecidable


  • Warren Goldfarb
    • Department of PhilosophyHarvard University

DOI: 10.1023/A:1013362627445

Cite this article as:
Goldfarb, W. Journal of Philosophical Logic (2001) 30: 613. doi:10.1023/A:1013362627445


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.

Download to read the full article text

Copyright information

© Kluwer Academic Publishers 2001