Từ Định lý xuất phát từ hệ thức Latinh, nó không phải là sự thật hiển nhiên, nhưng nó có thể chứng minh được. Các định lý phát sinh do kết quả của các thuộc tính trực quan và có đặc tính suy diễn độc quyền, đó là lý do tại sao một kiểu suy luận lôgic (chứng minh) được yêu cầu để được chấp nhận là chân lý tuyệt đối.
Một số ví dụ của định lý như sau: bình phương của tổng cạnh huyền bằng tổng bình phương của các chân. Nếu một số kết thúc bằng không hoặc năm thì nó chia hết cho năm.
Trong các định đề (chân lý trực quan với đủ bằng chứng để được chấp nhận như vậy) chẳng hạn như các định lý, có một điều kiện (giả thuyết) và một kết luận (luận điểm) được coi là hoàn thành trong trường hợp phần điều kiện hoặc giả thuyết là hợp lệ. Các định lý yêu cầu chứng minh, không gì khác hơn là một loạt các lý luận nối liền được hỗ trợ bởi các định đề hoặc các định lý hoặc định luật đã được chứng minh khác.
Điều rất quan trọng là phải tính đến tính tương hỗ của một định lý. Điều này trở thành một định lý khác có giả thuyết là luận điểm của định lý thứ nhất (định lý trực tiếp) và luận điểm của nó là giả thuyết của định lý trực tiếp. Ví dụ:
Định lý trực tiếp, nếu một số kết thúc bằng 0 hoặc năm (giả thiết), nó sẽ chia hết cho năm (luận điểm).
Định lý đối ứng, nếu một số chia hết cho năm (giả thiết), thì nó phải kết thúc bằng 0 hoặc năm (luận điểm). Bạn phải hết sức cảnh giác vì các định lý tương hỗ không phải lúc nào cũng đúng.
Một số định lý nổi tiếng nhất trong lịch sử là: Pythagoras ', Thales, Fermat, Euclides, Bayes, giới hạn trung tâm, số nguyên tố, Morley, trong số những định lý khác.
