Tiên đề

Bách khoa toàn thư mở Wikipedia

Một tiên đề là một đề xuất được coi như luôn đúng mà không cần chứng minh.

Một hệ thống tiên đề hay gọn hơn hệ tiên đề là một tập hữu hạn các tiên đề thoả mãn điều kiện là các suy diễn logic trên hệ thống tiên đề này không thể xảy ra mâu thuẫn.

Lưu ý:
Trong công trình "Cơ bản" của Euclide, một trong những công trình đầu tiên phát biểu các tiên đề trong toán học, Euclide phân biệt các tiên đề thành hai loại: định đềtiên đề. Sau này người ta thống nhất chung một tên gọi là tiên đề.

[sửa] Xem thêm

  • Hệ tiên đề Euclide
  • Hệ tiên đề Hilbert

[sửa] Liên kết ngoài