Bài 1 định nghĩa hai đường thẳng song song 5

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]