First-Order Frege Theory is Undecidable

Autor: Warren D. Goldfarb
Rok vydání: 2001
Předmět:
Zdroj: Journal of Philosophical Logic. 30:613-616
ISSN: 1573-0433
0022-3611
DOI: 10.1023/a:1013362627445
Popis: 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.
Databáze: OpenAIRE
Externí odkaz: