- complétude
假设演绎体系中的完备性的法文
发音:
- complétude
相关词汇
- 假: 形
- 假设: 动 supposer;présumer 名 hypothèse科学~hypothèses
- 设: 动
- 演: 动 1.développer;évoluer~进évoluer
- 演绎: 名 déduction~法méthode déductive
- 绎: débrouiller effiler dénouer démêler résoudre
- 体: 名 1.corps;partie du corps~高taille.
- 体系: 名 système
- 系: 动 attacher;lier;ligoter;ficeler~安全带attacher la
- 中: 名 1.centre;milieu居~au milieu;au centre
- 中的: monter en haut
- 的: 助précédé d'un mot s'emploie comme qualificatif ou
- 完: 形 complet;intégral;intact~好en bon état;intact 动
- 完备: 形 complet;parfait;entier有不~的地方,请多提意见.nous serons
- 完备性: Complétude
- 备: 动 1.se munir de;avoir德才兼~combiner la conscience
- 性: 名 1.caractère;nature本~nature. 2.sexe男(女)~sexe
- 等价演绎体系: systèmes déductifs équipollentessystèmes déductifs équipollents
- 完备性(公理体系的): saturation
- 图灵完备性: Turing-complet
- 哥德尔完备性定理: Théorème de complétude de Gödel
- 完备的(指公理体系): saturé,e
- 完备: 形complet;parfait;entier有不~的地方,请多提意见.nous serons heureux d'entendre vos suggestions sur quelque chose que nous avons peut-être négligé.
- 演绎: 名déduction~法méthode déductive
- 性关系中的年龄差距: Différence d'âge