Before revision: are two theorems of mathematical logic that are concerned with the limits of in formal axiomatic theories.
After revision: finite mathare two theorems of mathematical logic that are concerned with the limits of in formal axiomatic theories.