§7. Định lí

1. Định lí Tính chất "Hai góc đối đỉnh thì bằng nhau" được khẳng định là đúng không phải bằng đo trực tiếp mà bằng suy luận. Một tính chất như thế là một định lí. Ta có thể hiểu: Định lí là một khẳng định suy ra từ những khẳng định được coi là đúng Khi định lí được phát biểu dưới dạng "nếu ... thì", phần nằm giữa từ "nếu" và từ "thì" là phần giả thiết, phần sau từ "thì " là phần kết luận