a proof that in a formal axiomatic system such as logic or mathematics it is impossible to prove consistency without using methods from outside the system, demonstrated by Kurt Gö del (1906–78)