Foundations of Mathematics

Ứng dụng này cung cấp cho một giới thiệu ngắn gọn để Foundations của Toán học hiện đại. Sự nhấn mạnh là về việc xử lý nghiêm ngặt các định nghĩa, tranh luận, bằng chứng, vv

1. Toán học là gì

2. Logic là nền tảng của Toán học

3. Vai trò của các định nghĩa

4. Lý thuyết Axiomatic trong Toán học hiện đại

5. Bộ

6. Cardinality của bộ

7. Nhận xét về định nghĩa và bằng chứng

Đề xuất và ý kiến ​​được chào đón. Viết chúng tại [email protected].