mệnh đề được thừa nhận mà không chứng minh, xem như là xuất phát điểm để xây dựng một lí thuyết toán học nào đó

tiên đề Euclide

Đồng nghĩa: định đề

điều chân lí không thể chứng minh, nhưng là đơn giản, hiển nhiên, dùng làm xuất phát điểm trong một hệ thống lí luận nào đó.