A claim about distinctness that holds only relative to a chosen axiomatic system cannot be treated a...