意p是命题，即非真即假，我们认为它是不合自由变元的，I,you都是作为p中的约束变元而出现，(10)作为所谓认识论算术系统(Epistemological Arithemtic,EA)的定理之一。所谓EA，实际上它是通过引进我知道K算子而扩充一阶语言的新系统，其原子公式除了通常的一阶
基于4个网页-相关网页
认识论算术系统
Epistemological arithmetic system
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动