# Frege's Begriffsschrift is Indeed First-Order Complete

*History and Philosophy of Logic*38 (4):342-344 (2017)

**Abstract**

It is widely taken that the first-order part of Frege's Begriffsschrift is complete. However, there does not seem to have been a formal verification of this received claim. The general concern is that Frege's system is one axiom short in the first-order predicate calculus comparing to, by now, the standard first-order theory. Yet Frege has one extra inference rule in his system. Then the question is whether Frege's first-order calculus is still deductively sufficient as far as the first-order completeness is concerned. In this short note we confirm that the missing axiom is derivable from his stated axioms and inference rules, and hence the logic system in the Begriffsschrift is indeed first-order complete.

**Categories**

(categorize this paper)

**Reprint years**

2017

**ISBN(s)**

**PhilPapers/Archive ID**

LIUFBI

**Upload history**

**Added to PP index**

2016-02-20

**Total views**

183 ( #28,555 of 58,351 )

**Recent downloads (6 months)**

14 ( #42,364 of 58,351 )

How can I increase my downloads?

**Downloads since first upload**

*This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.*