Cơ Sở Logic toán học

Logic toán học là một công cụ để làm việc
với báo cáo hợp chất phức tạp. Nó bao
gồm:
Một ngôn ngữ để thể hiện chúng.
Một ký hiệu viết ngắn gọn cho họ.
Một phương pháp khách quan lý luận về
sự thật hay gia ̉ maọ của họ.
Nó là nền tảng cho thể hiện bằng chứng
chính thức trong tất cả các chi nhánh của
toán học.