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 đề.