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 |