The supporting argument equivocates between 'definable within the system' and 'definable mathematica...