Giáo trình Hệ toán tân từ

3.1 Các lưựng từ 71

3.2 Các khái niệm và định nghĩa 77

3.3 Minh hoa, sư đổng nhất đúng và mô hình . 81

3.3.1 Minh hoạ 81

3.3.2 Tính thục hiện đuực 83

3.3.3 Sự đồng nhất đúng (hằng đáng) 85

3.3.4 Mô hình 85

3.3.5 Một số hệ quẲ 86

3.3.6 Một số định nghĩa khác 89

3.3.7 Các công thức logic đổng nhất đúng trong hệ toán

tân từ 92

3.3.8 Dạng chuẩn tắc trong logic tân từ 93

3.4 Lý thuyết tân từ cấp 1K 100

3.4.1 Bịnh nghĩa 100

3.4.2 Một vài thí dụ về Lý thuyết tân từ cấp 1K . 103

3.5 Định lý suy diễn trong logic tân từ 104

1.1. Cẩcìượngtừ 71

3.6 Tính phi mâu thuẫn và đầy đù cùa logic tân từ 110

3.6.1 Các khái niệm và định nghĩa 110

3.6.2 Tính phi mâu thuẫn cũa lý thuyết tân từ cấp 1 PP111

3.6.3 Một số định lý trong lý thuyết tân từ cấp 1 A' . . 112

3.6.4 Tính đầy đủ của lý thuyết tân từ cấp 1K 120

3.7 Ap dụng trong chứng minh định lý của lý thuyết

tân từ cấp ỉ 121

3.8 Bài tập chương 3