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
In the Vinony graph
Vinony's link graph records 144 inbound references to completude, and connects out to semantic theory of truth, mathematical logic and Peano axioms.
It sits within the topics Mathematical logic, Metalogic and Model theory.
Vinony links it to 14 Wikipedia language editions.
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