Trong toán học và logic, một định lý là một mệnh đề phi hiển nhiên đã được chứng minh là đúng, hoặc trên cơ sở dẫn xuất từ các tiên đề hoặc được chứng minh trên cơ sở lấy từ từ các định lý khác.
Tham khảo : Chứng minh định lí là dùng suy luận để khẳng định kết luận (được suy ra từ giả thiết) là đúng.
Tham khảo :
Chứng minh định lí là dùng suy luận để khẳng định kết luận (được suy ra từ giả thiết) là đúng.