Arguing for the consistency of a set of axioms by observing that the intended structure itself satis...