Journal of Philosophical Logic

, Volume 30, Issue 6, pp 613–616

First-Order Frege Theory is Undecidable

  • Warren Goldfarb

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.

decidability Frege extensions 

Copyright information

© Kluwer Academic Publishers 2001

Authors and Affiliations

  • Warren Goldfarb
    • 1
  1. 1.Department of PhilosophyHarvard UniversityCambridgeU.S.A

Personalised recommendations