... 拓展的加权算术平均 EWAA 形式系统的算术化 arithmetization of formal system 袖珍计算机的算术逻辑 arithmetic logic of pocket calculator ...
基于1个网页-相关网页
形式系统的算术化
Arithmeticization of formal systems
以上为机器翻译结果，长、整句建议使用 人工翻译 。
算术的形式系统的自洽性不可能通过该系统的形式化途径而得到证明。
The consistency of a formal system of arithmetic cannot be proved by means formalizable within that system.
youdao
应用推荐
模块上移
模块下移
不移动