logic hình thức vận dụng các phương pháp toán học nghiên cứu các suy diễn và chứng minh toán học.