第5o9章 谓词逻辑的自我指涉陷阱