Trình bày và phân tích Định lý không đầy đủ của Kurt Gödel. Tại sao định lý này lại cho thấy bất kỳ hệ thống toán học đủ phức tạp nào đều chứa những mệnh đề không thể chứng minh cũng không thể bác bỏ? Điều này ảnh hưởng thế nào đến nền tảng của toán học?