Làm thế nào một tập hợp hữu hạn các câu lệnh không thể được mô tả?
Nhưng người ta nhận ra rằng không có tập hữu hạn các phát biểu về dữ liệu giác quan thực tế và khả hữu mà từ đó chúng ta có thể suy ra ngay cả một phát biểu đối tượng vật lý đơn lẻ.