LUẬN LÝ TOÁN HỌC (Mathematical Logic)

Logic của Aristotle được diễn tả bằng ngôn ngữ thông thường - mơ hồ.
Các triết gia muốn logic được diễn tả có tính hình thức (formal) và bằng ký hiệu (symbolical) như toán học.
Leibniz có lẽ là người đầu tiên hình dung ra ý tưởng này và gọi tên là formalism.