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 

đ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 đó.