CIRCULARITY IN SOUNDNESS AND COMPLETENESS

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.</jats:p