elementary formal system
英
美
- 初等形式系统
双语例句
- The consistency of a formal system of arithmetic cannot be proved by means formalizable within that system.
算术的形式系统的自洽性不可能通过该系统的形式化途径而得到证明。
相关词汇
大家正在查
Copyright © 2023 256查询网 All Rights Reserved