KP:克里普克普拉泰克
“克里普克-普拉泰克”(Kripke-Platek),常缩写为KP,是一种广泛应用于集合论和数理逻辑领域的公理系统。这一缩写形式便于书写和学术交流,尤其常见于综合性的数学与哲学研究中。其理论体系对递归论与可构造性研究有重要影响,是逻辑学基础理论的重要组成部分。
Kripke Platek具体释义
Kripke Platek的英文发音
本站英语缩略词为个人收集整理,可供非商业用途的复制、使用及分享,但严禁任何形式的采集或批量盗用
若KP词条信息存在错误、不当之处或涉及侵权,请及时联系我们处理:675289112@qq.com。