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.