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 đề và 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
- Bài giảng về xây dựng hình học sơ cấp bằng phương pháp tiên đề của Ngô Thăng Long tại trường Đại học Cần Thơ