1 Subfields and scope2 History2.1 E

1 Subfields and scope
2 History
2.1 Early history
2.2 19th century
2.2.1 Foundational theories
2.3 20th century
2.3.1 Set theory and paradoxes
2.3.2 Symbolic logic
2.3.3 Beginnings of the other branches
3 Formal logical systems
3.1 First-order logic
3.2 Other classical logics
3.3 Nonclassical and modal logic
3.4 Algebraic logic
4 Set theory
5 Model theory
6 Recursion theory
6.1 Algorithmically unsolvable problems
7 Proof theory and constructive mathematics
8 Connections with computer science
9 Foundations of mathematics

ผลลัพธ์ (ไทย) 1:

1 subfields และขอบเขตประวัติศาสตร์ 22.1 ประวัติศาสตร์ยุคแรก2.2 ศตวรรษ2.2.1 ทฤษฎี foundational2.3 ศตวรรษ2.3.1 ทฤษฎีเซตและ paradoxes2.3.2 Symbolic ตรรกะ2.3.3 ชิ้นสาขาอื่น ๆระบบตรรกะทาง 33.1 ก่อนลำดับตรรกะ3.2 logics อื่น ๆ คลาสสิก3.3 Nonclassical และตรรกะแบบโมดอล3.4 พีชคณิตลอจิกทฤษฎีเซต 4ทฤษฎีแบบจำลอง 56 สอบทฤษฎี6.1 ปัญหา algorithmically unsolvableพิสูจน์ทฤษฎีและคณิตศาสตร์สร้างสรรค์ 7การเชื่อมต่อกับคอมพิวเตอร์วิทยาศาสตร์ 8รากฐานคณิตศาสตร์ 9

ผลลัพธ์ (ไทย) 2:

1 ฟิลด์และขอบเขต
2 ประวัติศาสตร์
สมัยก่อนประวัติศาสตร์ 2.1
2.2 ศตวรรษที่ 19
2.2.1 ทฤษฎีพื้นฐาน
2.3 ศตวรรษที่ 20
2.3.1 ทฤษฎีการตั้งค่าและความขัดแย้ง
2.3.2 ตรรกะสัญลักษณ์
2.3.3 เป็นจุดเริ่มต้นของสาขาอื่น ๆ
3 ระบบตรรกะอย่างเป็นทางการ
3.1 ตรรกะแรกเพื่อที่
3.2 logics คลาสสิกอื่น ๆ
3.3 nonclassical และกิริยาตรรกะ
3.4 พีชคณิตตรรกะ
4 ชุดทฤษฎี
ทฤษฎี 5 รุ่น
6 ทฤษฎี Recursion
6.1 อัลกอริทึมปัญหาแก้ไม่ได้
7 ทฤษฎีหลักฐานและสร้างสรรค์คณิตศาสตร์
8 การเชื่อมต่อกับวิทยาการคอมพิวเตอร์
9 ฐานรากของคณิตศาสตร์

ผลลัพธ์ (ไทย) 3:

1 subfields และขอบเขต
2

ประวัติประวัติ 2.1 2.2 ศตวรรษที่ 19 โปรแกรมพื้นฐานทฤษฎี

3
2.3.1 ทฤษฎีศตวรรษที่ 20 ชุด และความขัดแย้ง

2.3.2 สัญลักษณ์ตรรกะ 2.3.3 เป็นจุดเริ่มต้นของสาขาอื่น ๆ
3
3.1 ระบบตรรกะแรกตรรกะเพื่ออื่น ๆคลาสสิก logics

3.2 และ 3.3 nonclassical ตรรกวิทยาอัญรูป
3.4 พีชคณิต ตรรกะทฤษฎีเซต
4
5 ทฤษฎีแบบจำลองทฤษฎีการเรียกซ้ำ
6
6ปัญหาที่แก้ไม่ได้ algorithmically 1
7 พิสูจน์ทฤษฎีและ

8 การเชื่อมต่อกับโครงสร้างทางคณิตศาสตร์วิทยาศาสตร์คอมพิวเตอร์ 9 ฐานรากของคณิตศาสตร์