Entscheidungsproblem
article-link
What links here
Presburger arithmetic
Computational complexity theory
article-link
P versus NP problem
article-link
Automated theorem proving
article-link
Consistency
article-link
Gödel's incompleteness theorems
article-link
Peano axioms
article-link