fullständighet
Sign in to saveAlso known as syntactically complete, semantically complete, syntactical completeness, semantical completeness
fundamental concept in metalogic, and the term may be used without qualification with differing meanings depending on the context within mathematical logic
Wikidata facts
- Instance of
- property
- Subclass of
- mathematical property
Show 1 more fact
- characteristic of
- formal system
via Wikidata · CC0
Article · Svenska
Ett axiomatiskt uppbyggt system eller ett formellt system är fullständigt, om allt det, som man önskar skall vara ett teorem i systemet också är ett teorem. Mer precist uttryckt är ett formellt system S, med språket L, fullständigt om och endast om varje tautologi i L är ett teorem i S. Man skiljer på semantiskt fullständiga system och syntaktiska sådana.
Abstract from DBpedia / Wikipedia · CC BY-SA