Now Kitcher interprets the truth of mathematical statements stipulationally, which provides truth conditions known to obtain: A mathematical statement is true if it is the logical consequence of conventional definitions.