(A. system of axioms), trong một lí thuyết khoa học được xây dựng và phát triển thuần túy bằng phương pháp suy luận diễn dịch, HTĐ gồm một số tiên đề được xem như những chân lí đầu tiên mà tính đúng đắn của chúng được thừa nhận một cách tiên thiên, xuất phát từ đó bằng các suy diễn lôgic suy dần ra các định lí của lí thuyết. HTĐ thường được dùng cho các lí thuyết toán học, thí dụ đối với hình học thông thường có HTĐ Ơclit (Euclide), đối với số học có HTĐ Pêanô (Peano), vv.
