teoria, consistenza di una

Enciclopedia della Matematica (2013)

teoria, consistenza di una


teoria, consistenza di una o coerenza, in logica, proprietà di un sistema di assiomi specifici di una teoria matematica da cui non è possibile dedurre una formula ben formata a e la sua negazione ￢a (→ coerenza; → consistenza; → teoria).

Tag
Vocabolario
consistènza
consistenza consistènza s. f. [dal lat. tardo consistentia, der. di consistens -entis «consistente»]. – 1. a. Solidità, resistenza relativa alle deformazioni o alla pressione, densità: stoffa di scarsa c.; far bollire la colla finché arrivi...
teorìa
teoria teorìa s. f. [dal gr. ϑεωρία, der. di ϑεωρός (v. teoro), e quindi, in origine, «delegazione di teori»; nel sign. 1, attraverso il lat. tardo theorĭa]. – 1. Formulazione logicamente coerente (in termini di concetti ed enti più o meno...