Before revision: Gödel's incompleteness theorems are two theorems of mathematical logic that are concerned with the limits of in formal axiomatic theories.
After revision: Gödel's ofcompleteness theorems are two theorems of mathematical logic that are concerned with the limits of in formal axiomatic theories.