2
Mô hình nào của định lý tự động chứng minh là phù hợp cho việc chính thức hóa kiểu nguyên tắc Mathia?
Tôi đang sở hữu một cuốn sách, lấy cảm hứng từ nguyên tắc toán học (PM) của Russell và chủ nghĩa thực chứng logic, cố gắng chính thức hóa một lĩnh vực cụ thể bằng cách xác định các tiên đề và suy luận các định lý từ chúng. Nói …