cùng học toán học với trần định 8

Các nhà toán học tìm kiếm các mô thức[9][10] và sử dụng chúng để tạo ra những giả thuyết mới. Họ lý giải tính đúng đắn hay sai lầm của các giả thuyết bằng các chứng minh toán học. Khi những cấu trúc toán học là mô hình tốt cho hiện thực, lúc đó suy luận toán học có thể cung cấp sự hiểu biết sâu sắc hay những tiên đoán về tự nhiên. Thông qua việc sử dụng những phương pháp trừu tượng và lôgic, toán học đã phát triển từ việc đếm, tính toán, đo lường đến việc nghiên cứu có hệ thống những hình dạng và chuyển động của các đối tượng vật lý. Con người đã ứng dụng toán học trong đời sống từ xa xưa. Việc tìm lời giải cho những bài toán có thể mất hàng năm, hay thậm chí hàng thế kỷ.[11] Những lập luận chặt chẽ xuất hiện trước tiên trong nền toán học Hy Lạp cổ đại, đáng chú ý nhất là trong tác phẩm Cơ sở của Euclid. Kể từ những công trình tiên phong của Giuseppe Peano (1858–1932), David Hilbert (1862–1943), và của những nhà toán học khác trong thế kỷ 19 về các hệ thống tiên đề, nghiên cứu toán học trở thành việc thiết lập chân lý thông qua suy luận logic chặt chẽ từ những tiên đề và định nghĩa thích hợp. Toán học phát triển tương đối chậm cho tới thời Phục hưng, khi sự tương tác giữa những phát minh toán học với những phát kiến khoa học mới đã dẫn đến sự gia tăng nhanh chóng những phát minh toán học vẫn tiếp tục cho đến ngày nay.[12]