|a system of logic or mathematics that includes propositions that are impossible to prove or disprove; term coined as a result of [[Kurt Godel]]'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