哲学, 数理逻辑, 计算机科学, 语义学, 逻辑学

真值谓词 (Truth Predicate)

, , , ,