|a system of logic or mathematics that includes propositions that are impossible to prove or disprove; term coined as a result of [[Kurt Gödel]]'s work in 1931
|a system of logic or mathematics that includes propositions that are impossible to prove or disprove; term coined as a result of [[Kurt Gödel]]'s work in 1931