(n) (See 整合説) correspondence theory (theory that a proposition is true if and only if it corresponds to the facts)