This is about the mathematical incompleteness theorems (Wikipedia: https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems) that Kurt Gödel discovered in 1931. There are two incompleteness theorems. The first states: “Every sufficiently powerful, recursively enumerable formal system is either inconsistent or incomplete.” And the second states: “Every sufficiently powerful, consistent formal system cannot prove its own consistency.” This