By submitting the following form, you agree to Club Z!'s Terms of Use and Privacy Policy
Not decidable as a result of being neither formally provable nor unprovable.
Gödel's first incompleteness theorem | Gödel's second incompleteness theorem | recursively undecidable | Rice's theorem | Richardson's theorem
Back to List | POWERED BY THE WOLFRAM LANGUAGE