Frege's Begriffsschrift is Indeed First-Order Complete

(:Unkn) Unknown
It is widely taken that the first-order part of Frege's Begriffsschrift (1879) 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 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...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.