Định lý trongtoánhọc là gì ?

Một định lý toán học là một mệnh đề toán học đã được, hoặc cần được chứng minh dựa trên một số hữu hạn các tiên đề và quá trình suy luận. Chứng minh các định lý là hoạt động chủ yếu trong ngành toán học.