(September 20, 2022 at 6:29 pm)polymath257 Wrote: In contrast, the basic axioms of mathematics are not in doubt (outside of a few specialists). The correctness of the proof *does* say something about the truth of the conclusion.
As in finitists? (Not to derail this thread, but, it appears to be in the doghouse anyways.) Some time ago I made an edit to a Wikipedia article on finitism to point out the fact that a mathematician, a finitist, who was being cited in the present tense had, in fact, died in 1985.