Định lý bất toàn Gödel cho thấy một điều khá kỳ quặc: trong mọi hệ tiên đề đủ mạnh để làm số học, sẽ luôn tồn tại những mệnh đề mà hệ thống không thể quyết định được. Toán học, hóa...