探讨真理的合理分层与“克雷塞尔型反思”
本文档由 yongmiki 分享于2020-09-28 15:20
文号:03UUJL;克雷赛尔型反思”的提出,如果“‘p’为真”在TP中可证,则“p”为真,如果“‘p’不真”在TP中可证,则“p”不真,这就是该理论的全部内容,基于克雷赛尔型反思的真理分层,建立定点λ:“‘λ’为真”在T
下载文档
收藏
打印
分享:
君,已阅读到文档的结尾了呢~~