#tính nhất quán của hệ tiên đề

Đị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