Tại sao hệ thống Linux tiêu thụ nhiều năng lượng hơn Windows?
Phải chăng tính độc lập của một định lý đối với một hệ thống hình thức cũng hàm ý rằng việc thêm nó như một tiên đề sẽ làm cho hệ thống không còn mạnh nữa?