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 ̉ maọ 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.

Từ khóa: cơ sở Logic, logic toán học, báo cáo hợp chất phức tạp, toán rời rạc, logic mệnh đề, chứng minh toán học, phép biện chứng toán học