ABSTRACT
When people ask me what Go¨del’s theorem is all about, I usually explain that about the turn of the century appeared two famous mathematical systems which appeared so comprehensive that every true mathematical statement could be proved in each of them. In 1931, to everyone’s surprise, Kurt Go¨del showed that this was not the case, that in each of the systems, and for a significant variety of related systems, there was a sentence which was neither provable nor refutable (disprovable) in the system-a sentence which was in fact true but not provable from the axioms of the system. Thus, the axioms were simply insufficient to determine which sentences were true and which were not.
