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