Chứng minh là một chuỗi suy luận logic từ các tiên đề, định nghĩa và các phát biểu đã được chứng minh trước đó đến một kết luận. Nó là tiêu chuẩn của chân lý trong toán học. Một phát biểu không được chấp nhận là đúng cho đến khi nó được chứng minh.

Các hình thức chứng minh rất đa dạng. Chứng minh trực tiếp suy ra kết luận từng bước một. Chứng minh bằng phản chứng giả định điều ngược lại và chỉ ra rằng điều đó dẫn đến sự bất khả thi. Quy nạp toán học chứng minh các mệnh đề về tất cả các số tự nhiên bằng cách chứng minh trường hợp cơ sở và bước quy nạp. Chứng minh hình học sử dụng sơ đồ và tiên đề.

Viết chứng minh là một kỹ năng được phát triển thông qua thực hành. Nó đòi hỏi sự rõ ràng, chặt chẽ và sáng tạo. Những chứng minh đầu tiên mà học sinh thường gặp là trong hình học, nhưng chứng minh là trọng tâm của tất cả các nhánh toán học. Một chứng minh không chỉ thiết lập chân lý mà còn giải thích tại sao điều đó đúng.

• Lập luận logic nhằm chứng minh sự thật.
• Các hình thức: trực tiếp, phản chứng, quy nạp
• Được xây dựng dựa trên các tiên đề và kết quả trước đó.
• Giải thích lý do tại sao một phát biểu là đúng.