The epistemological distinction between 'theorem' and 'axiom' collapses when the foundational system...