Khác biệt giữa bản sửa đổi của “Định lý toán học”

 

Một định lý thường bắt đầu bằng việc giới thiệu các [[điều kiện]] (nhiều khi các điều kiện được giới thiệ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 đề]].