(c) There is modern view of the logical truth or validity of a mathematical statement relative to a background theory: the statement is satisfied by all interpretations or models of the theory. thus the statement is true in all of these possible worlds.