Completesa
De Wikisofia
La revisió el 09:40, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} La propietat d'un sistema formal per la qual es diu complet si tot enunciat lògicament veritable per al sistema és...».)
La revisió el 09:40, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} La propietat d'un sistema formal per la qual es diu complet si tot enunciat lògicament veritable per al sistema és...».)
La propietat d'un sistema formal per la qual es diu complet si tot enunciat lògicament veritable per al sistema és també deduïble dels seus axiomes (completud denominada feble). Segons el teorema de Gödel, la lògica d'enunciats i lògica de predicats (de primer ordre) són completes en sentit feble.