ゲーデルの不完全性定理
The principle declares that all propositions considered to be should be deducible from the set axioms at the base of the construction. However, Gödel has shown that for every sufficiently expressive deductive system a proposition exists that can neither be proved nor disproved (see Gödel's incompleteness theorems).