== Variaties ===== Correspondentie als congruentie ===Bertrand Russell stelde dat een bewering "waar" is als deze een structuur heeft die isomorf is met een stand van zaken in de werkelijkheid. ###>== Varieties of correspondence theories ===== Correspondence as congruence ===Bertrand Russell theorized that a statement, to be true, must have a structural isomorphism with the state of affairs in the world that makes it true.