CIRCULARITY IN SOUNDNESS AND COMPLETENESS

RICHARD KAYE
2014 Bulletin of Symbolic Logic  
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.
doi:10.1017/bsl.2013.4 fatcat:efudec6w7nefjlmkt2myssxlcq