Absolute Provability and Safe Knowledge of Axioms
Timothy L. Williamson · Oxford University Press eBooks · 2016
Are there any in-principle (or absolutely) undecidable hypotheses? In order to make progress with this question, its terms must be first clarified. Against the background of a proposed clarification, argument is presented and discussed that all mathematical truths are provable in principle.