completezza
Sign in to saveAlso known as syntactically complete, semantically complete, syntactical completeness, semantical completeness
proprietà che un sistema formale ha quando tutte le sue proposizioni sono vere e possono essere dimostrate all'interno dello stesso sistema
Wikidata facts
- Instance of
- property
- Subclass of
- mathematical property
Show 1 more fact
- characteristic of
- formal system
via Wikidata · CC0
Article · Italiano
Nella logica matematica il concetto di completezza esprime il fatto che un insieme di assiomi è sufficiente a dimostrare tutte le verità di una teoria e quindi a decidere della verità o falsità di qualunque enunciato formulabile nel linguaggio della teoria.
Abstract from DBpedia / Wikipedia · CC BY-SA