英語候補correspondence theory (theory that a proposition is true if and only if it corresponds to the facts)