Article contents
CIRCULARITY IN SOUNDNESS AND COMPLETENESS
Published online by Cambridge University Press: 13 May 2014
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.
- Type
- Articles
- Information
- Copyright
- Copyright © The Association for Symbolic Logic 2014
References
REFERENCES
- 1
- Cited by