Description: The truth of any (true) proposition consists in its coherence with some specified set of propositions. From the Stanford Encyclopedia, by James O. Young.