Phương pháp chứng minh đi từ giả thiết đến kết luận thông qua các luật suy diễn, các định lý, các nguyên lý hay các kết quả đã có từ trước được gọi là phương pháp chứng minh: