|
|||||
|
|
First-Order Frege Theory is Undecidable |
|
| Authors: | Goldfarb Warren |
| Affiliation: | (1) Department of Philosophy, Harvard University, Emerson Hall 208, Cambridge, MA, 02138, U.S.A |
| Abstract: | 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. |
| Keywords: | decidability Frege extensions |
| 本文献已被 SpringerLink 等数据库收录！ | |