This interpretation is a concrete representation of our assumptions. Every proposition derived from the assumptions must be true of this system of triples. Hence none of the assumptions can be logically inconsistent with the rest; otherwise contradictory statements would be true of this system of triples.
{{comment.content}}