Định lí là một quy tắc, một khẳng định được chứng minh hoặc được chấp nhận là đúng. Tính chất của định lí bao gồm:

1. Đúng đối với mọi trường hợp: Định lí phải đúng cho tất cả các trường hợp trong phạm vi áp dụng của nó.

2. Không thể chứng minh ngược lại: Định lí không thể bị chứng minh ngược lại từ các tiên đề đã được chấp nhận là đúng.

3. Có tính chất khái quát: Định lí có thể áp dụng cho nhiều trường hợp khác nhau và có tính chất khái quát.

4. Có tính cần thiết: Định lí phải là một tiên đề cần thiết để chứng minh một kết quả khác.

5. Có tính độc lập: Định lí không phụ thuộc vào các định lí khác và có thể tồn tại độc lập.

6. Có tính duy nhất: Mỗi định lí chỉ có một cách chứng minh duy nhất và không thể có nhiều cách chứng minh khác nhau.