A theory is complete if, for every formula φ in its language, at least one of φ or ¬φ is a logical consequence of the theory.
Teoria jest zupełna, jeśli dla każdej formuły φ w jej języku przynajmniej jedna z formuł φ lub ¬ φ jest logiczną konsekwencją danej teorii.