Khác biệt giữa bản sửa đổi của “Định lý toán học”
Nội dung được xóa Nội dung được thêm vào
Không có tóm lược sửa đổi |
|||
Dòng 2:
== Kết cấu ==
▲ trước khi đi vào định lý); tiếp đến là một [[kết luận]], đúng trong trường hợp của các điều kiện đã nêu. Phần chứng minh, mặc dù là cần thiết để khẳng định đề xuất là ''định lý'', thường không nằm trong phát biểu của định lý. Một đề xuất có vẻ đúng nhưng chưa được chứng minh gọi là [[phỏng đoán]]. Các phỏng đoán giữ vai trò quan trọng còn được gọi là [[định đề]].
Các [[đề xuất toán học]] đúng đắn cần phải có ý nghĩa hay độ tổng quát nhất định để được gọi là [[định luật]]. Nếu [[độ quan trọng]], hay [[độ tổng quát]] thấp, chúng có thể được gọi là '''[[bổ đề]]''', tức là các đề xuất nằm trong phần chứng minh cho một định lý tổng quát hơn, hay '''[[hệ quả]]''', tức là các kết luận dễ dàng suy ra từ định lý quan trọng hơn. Tuy nhiên việc phân loại theo độ quan trọng này khá tùy tiện.
| |||