self-consistency

英['selfkəns'ɪstənsɪ] 美['selfkəns'ɪstənsɪ]
  • 自洽性
  • sel n.信号工程实验室(=SignalEngineeringLaboratories)
  • sel-o-rines 二硫化硒去污剂(治花斑癣药,抗皮脂溢出性皮炎药)
  • sel. abbr.=select
  • sela [缅]碾磨前加过热的稻谷
  • selacean [医]板鳃类鱼,软骨鱼
    1. The consistency of a formal system of arithmetic cannot be proved by means formalizable within that system.
      算术的形式系统的自洽性不可能通过该系统的形式化途径而得到证明。