completeness
Signification (Anglais)
- (uncountable, usually) The state or condition of being complete.
- (uncountable, usually) The property of a logical theory that whenever a wff is valid then it must also be a theorem. Symbolically, letting T represent a theory within logic L, this can be represented as the property that whenever T⊨ϕ is true, then T⊢ϕ must also be true, for any wff φ of logic L.
Concepts
Synonymes
Traductions
Étymologie (Anglais)
From complete + -ness.
Notes
Sign in to write sticky notes
Commencez à apprendre anglais avec learnfeliz .
Entraînez-vous à parler et à mémoriser « completeness » et de nombreux autres mots et phrases dans anglais .