Calculus: Derivative of x^(x^x)

Euclid (300 TCN) đã bắt đầu từ những thuật ngữ chưa được định nghĩa là các tiên đề (các mệnh đề sử dụng những thuật ngữ chưa định nghĩa được giả thiết là hiển nhiên đúng, nguyên từ Hy Lạp là “axios” có nghĩa là “một thứ giá trị”) và đã dùng những thứ này để chứng minh các định lý bằng luận lý suy diễn. Lý thuyết chứng minh hiện đại xem các chứng minh là những cấu trúc dữ liệu được định nghĩa một cách quy nạp. Người ta không còn giả thiết rằng các tiên đề lúc nào cũng "đúng đắn"; điều này cho phép các lý thuyết toán học được xây dựng song song nhau dựa trên những tập tiên đề khác nhau (Lý thuyết tập hợp tiên đề và Hình học phi Euclid là các ví dụ).