#mệnh đề không quyết định được

Định lý bất toàn của Gödel thật ra nói gì và không nói gì

Định lý bất toàn của Gödel nói rằng mọi hệ tiên đề nhất quán đủ mạnh để làm số học đều có những mệnh đề không chứng minh được cũng không bác bỏ được trong hệ ấy