Một giả định cơ bản về một hệ toán học mà từ đó có thể suy ra các định lý. Ví dụ, hệ đó có thể là điểm và đường thẳng trong mặt phẳng. Khi đó một tiên đề sẽ là: cho hai điểm phân biệt bất kỳ trong mặt phẳng, tồn tại duy nhất một đường thẳng đi qua chúng.