... tượng toán học chẳng hạn tập hợp số chứng minh toán học tính toán Ngành thường chia thành lĩnh vực lý thuyết mô hình(model theory), lý thuyết chứng minh(proof theory), lý thuyết tập hợp lý thuyết ... Kết luận Mặc dù logic vị từ số hạn chế, chưa ứng dụng nhiều logic mờ, chưa phải đỉnh cao logic học điều mà logic vị từ cống hiến thực to lớn, sở logic chung tư xác, đặc biệt lĩnh vực toán học ... người ta phân biệt luận hợp lý luận có chỗ không hợp lý Theo truyền thống, logic nghiên cứu nhánh triết học Từ kỉ 19, logic nghiên cứu toán học luật Gần logic áp dụng vào khoa học máy tính trí...