Nghĩa chính
- Vấn đề quyết định về việc tìm cách quyết định xem một công thức có đúng hay có thể chứng minh được trong một hệ thống nhất địnhdanh từA decision problem of finding a way to decide whether a formula is true or provable within a given system.
Nguồn gốc (etymology)
- mượn từ tiếng ĐứcEntscheidungsproblem