 Penrose–Lucas argument

The Penrose–Lucas argument is a logical argument partially based on a theory developed by mathematician and logician Kurt Gödel.In 1931, he proved that every effectively generated theory capable of proving basic arithmetic either fails to be consistent or fails to be complete.