摘要： ：“可证”的算子用法与谓词用法是严格区分概念层次的结果。“可证”的算子用法是从命 题外部来理解“可证”的，而它的谓词用法则是从命题内部来理解的。哥德尔自指命题是否导 致悖论，关键在于如何理解“可证”概念。如果把“可证”理解为语句算子，那么哥德尔自指命题 就不会导致悖论。否则，如果把它理解为谓词，那么哥德尔自指命题就会导致悖论。