Luận văn Cơ sở logic toán của các phép chứng minh toán học cơ bản và áp dụng chứng minh các bài toán phổ thông

* Định lý toán học là một vị từ hằng đúng trên một tập M với M là một tập hợp các đối tượng nghiên cứu của toán học.

Định lý toán học thường được biểu diễn dưới dạng một mệnh đề kéo theo hoặc một mệnh đề tương đương.

* Chứng minh định lý toán học là chứng minh một công thức mệnh đề.

Do đó xuất phát từ một tiền đề (giả thiết A) đúng và các căn cứ suy luận (các kiến thức đã có, các quy tắc suy luận logic) cũng phải đúng.Khi đó kết luận B suy ra được sẽ chắc chắn đúng.