Abstract
We raise an issue of circularity in the argument for the completeness of first-order logic. An analysis of the problem sheds light on the development of mathematics, and suggests other possible directions for foundational research.
Original language | English |
---|---|
Pages (from-to) | 24-38 |
Journal | The Bulletin of Symbolic Logic |
Volume | 20 |
Issue number | 01 |
DOIs | |
Publication status | Published - 1 Mar 2014 |