First-Order Frege Theory is Undecidable

Warren D. Goldfarb. First-Order Frege Theory is Undecidable. J. Philosophical Logic, 30(6):613-616, 2001. [doi]

Abstract

Abstract is missing.