In theories of arithmetic, such as Peano arithmetic, there is an intricate relationship between the consistency of the theory and its completeness.
W teoriach arytmetyki, takich jak arytmetyka Peana, zachodzi dogłębna zależność pomiędzy niesprzecznością danej teorii i jej zupełnością.