This seems to be a technical objection that dodges the meat of the parent&#x27;s comment.  In what sense is it true that a given theorem follows from a given set of axioms and a given choice of inference rules?