Chứng minh định lí là dùng lập luận để từ giả thiết và nhũng khẳng định đúng đã biết suy ra kết luận của định lí.