Gödel's theorem Hear it!

Gödel's theorem definition

Gödel's theorem

either of two theorems published by the mathematician Kurt Gödel in 1931 that prove all mathematical systems are incomplete in that their truth or consistency can only be proved using a system of a higher order
also called Gödel's proof or Gödel's incompleteness theorem

Webster's New World College Dictionary Copyright © 2009 by Wiley Publishing, Inc., Cleveland, Ohio.
Used by arrangement with John Wiley & Sons, Inc.

Comments
Improve this definition.
Do you have more to add? Share your linguistic knowledge or observation.
/Register to save your comments.