Chính là câu này cụ : Bất kỳ lý thuyết nào được tạo ra một cách hiệu quả đủ khả năng biểu diễn số học sơ cấp đều không thể vừa nhất quán vừa đầy đủ.
Giải thích thì mất cả quyển sách, nhưng cụ thể là tất cả các loại máy dùng phần mềm ( software) không bao giờ hoàn chỉnh, việc sửa lỗi bắt buộc...