Một tiên đề trong toán học là một mệnh đề được coi như luôn đúng và 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.
