elementary formal system

英 美
  • 初等形式系统
  • elementary adj.基本的;初级的;元素的
  • formal adj.正式的;正规的;形式的;公开的;拘谨的;有条理的
  • system n.系统;体系;身体;制度
    1. The consistency of a formal system of arithmetic cannot be proved by means formalizable within that system.
      算术的形式系统的自洽性不可能通过该系统的形式化途径而得到证明。