completude
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 · Português
Em lógica matemática e na metalógica, um sistema formal é chamado completo com respeito a uma propriedade específica se toda fórmula tendo a propriedade pode ser obtida usando esse sistema, isto é, é um de seus teoremas; caso contrário, o sistema é dito incompleto.O termo "completo" também é usado sem qualificação, com significados diferentes dependendo do contexto, geralmente se referindo à propriedade da validade semântica. Intuitivamente, um sistema é chamado de completo nesse sentido particular, se ele pode obter todas as fórmulas verdadeiras.Kurt Gödel, Leon Henkin, e Emil Leon Post publicaram provas de completude.
Abstract from DBpedia / Wikipedia · CC BY-SA