La propietat d'un sistema formal per la que s'anomena complet si tot enunciat lògicament vertader per al sistema és també deduïble dels seus axiomes (completut denominada feble). Segons el teorema de Gödel, la lògica d'enunciats i lògica de predicats (de primer ordre) són completes en sentit feble.
