Abstract
AbstractWe 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.
Publisher
Cambridge University Press (CUP)