真值的对应性原理

correspondence theory of truth