... cho quy giản toàn toán học lý thuyết logic học, nói cách khác, coi toán học phần logic học Ngược lại, số nhà toán học khác lại coi logic ngành toán học Sự phát triển logic học kể từ Leibniz bước ... trở sau, liên quan chặt chẽ với toán học Sự liên quan chặt chẽ hai ngành logic học toán học Russel khắc họa sau Nhập môn triết học toán học ông: Toán học logic học, mặt lịch sử hai ngành khác ... nhiều nghĩa logic học. ”[7] Cùng với phát triển khoa học công nghệ, logic học ngày ứng dụng rộng rãi Người ta sử dụng logic học để giúp giải vấn đề nan giải toán học, điều khiển học, khoa học máy...