yes, althought most proofs use their axioms so one needs the ability to hold the axiom tentatively. if one is incapable of imagining what it would be to hold A then following the proof is going to be challenging.
But “Y proves X” has meanings of “makes X very firmly true” and “Y has X as theorem” which are not always the same thing.
yes, althought most proofs use their axioms so one needs the ability to hold the axiom tentatively. if one is incapable of imagining what it would be to hold A then following the proof is going to be challenging.
But “Y proves X” has meanings of “makes X very firmly true” and “Y has X as theorem” which are not always the same thing.