First-order logic

Có thể dịch là logic bậc (thứ) nhất là một tập hợp các hệ thống được chuẩn hóa (chính quy), sử dụng trong toán học, triết học, ngôn ngữ học và khoa học máy tính. Nó có các tên gọi khác như logic vị từ, logic định lượng và tính toán vị từ bậc nhất.