Thể loại:Định lý toán học

Bách khoa toàn thư mở Wikipedia

Một định lý toán học là một đề xuất đã đượ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.