| 1. | Two infinitary logics stand out in their completeness.
Deux logiques infinitaires se distinguent dans leur complétude. |
| 2. | The completeness was established by Mojżesz Presburger in 1929.
Elle a été introduite en 1929 par Mojżesz Presburger. |
| 3. | Completeness states that all true sentences are provable.
La complétude énonce que toutes les phrases vraies sont prouvables. |
| 4. | See completeness (order theory).
Voir Complémentaire (théorie des ensembles). |
| 5. | Gödel's completeness theorem is about this latter kind of completeness.
Le théorème de complétude de Gödel utilise cette notion de complétude. |
| 6. | Gödel's completeness theorem is about this latter kind of completeness.
Le théorème de complétude de Gödel utilise cette notion de complétude. |
| 7. | Ethics committees will assess the adequacy and completeness of the written information.
les comités d'éthique évalueront l'exhaustivité et la clarté des informations écrites. |
| 8. | Semantic completeness is the converse of soundness for formal systems.
La complétude sémantique est la réciproque de la correction des systèmes formels. |
| 9. | Darwent wrote, "Even her fingers, absent-mindedly circled, suggest completeness.
Darwent écrit, « Jusqu’à ses doigts, formant distraitement un cercle, suggèrent la complétude. |
| 10. | The completeness of this connective was noted in Principia Mathematica (1927:xvii).
L'intégralité de ce connecteur a été noté dans les Principia Mathematica (1927: xvii). |
