1. Định lí là một khẳng định được suy ra từ những khẳng định đúng đã biết.

Mỗi định lí thường được phát biểu dưới dạng:

                      Nếu ...   thì ...

Phần … ở giữa từ “Nếu“ và  "thì" là giả thiết của định lí.

Phần … ở sau từ "thì" là kết luận của định lí.

2. Chứng minh một đị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í.

3. Phản ví dụ trong toán học là một ví dụ được sử dụng để phản bác hoặc

bác bỏ một tuyên bố hoặc giả thiết.

Phản ví dụ thường được sử dụng để chứng minh rằng một tuyên bố hoặc giả thiết không đúng.