Định lý bất toàn của Gödel thực sự phát biểu điều gì?
Có phải định lý về tính bất toàn của Gödel nói rằng có những phát biểu trong một hệ thống hình thức nhất quán không thể được chứng minh cũng như không thể bị bác bỏ?