Chứng minh về phát sinh của Ln (x) và e ^ x

Các tranh luận về sự hợp lý bằng cách sử dụng các vật dụng có sẵn như hình ảnh hay vật tương tự là tiền đề cho các chứng minh toán học chính xác[2]. Sự phát triển của chứng minh toán học chủ yếu là sản phẩm của nền văn minh Hy Lạp. Thales (624–546 TCN) đã chứng minh một số định lý trong hình học. Eudoxus (408–355 TCN) và Theaetetus (417–369 TCN) đã công thức hóa các định lý nhưng không chứng minh. Aristoteles (384–322 TCN) nói rằng các định nghĩa cần được mô tả bằng những khái niệm đã biết.