The formalist thesis comprises two

The formalist thesis comprises two claims.
1 Pure mathematics can be expressed as uninterpreted formal systems, in which the truths of mathematics are represented by formal theorems.
2 The safety of these formal systems can be demonstrated in terms of their freedom from inconsistency, by means of meta-mathematics.

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

วิทยานิพนธ์ formalist ประกอบด้วยสองร้อง.
คณิตศาสตร์บริสุทธิ์ 1 แสดงเป็นระบบอย่างเป็นทางการ uninterpreted ซึ่งแสดงสัจธรรมของคณิตศาสตร์ โดยทางทฤษฎี
2 ความปลอดภัยของระบบอย่างเป็นทางการเหล่านี้สามารถแสดงในแง่ของเสรีภาพจากความไม่สอดคล้อง จาก meta-คณิตศาสตร์ได้

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

วิทยานิพนธ์เหือดประกอบด้วยสองเรียกร้อง
1 คณิตศาสตร์บริสุทธิ์จะแสดงเป็นระบบอย่างเป็นทางการ uninterpreted ซึ่งความจริงของคณิตศาสตร์ที่เป็นตัวแทนอย่างเป็นทางการโดยทฤษฎีบท
2 ความปลอดภัยของระบบอย่างเป็นทางการเหล่านี้สามารถแสดงให้เห็นในแง่ของเสรีภาพของพวกเขาจากความไม่สอดคล้องกันโดยใช้วิธี ของเมตาดาต้าคณิตศาสตร์

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

การ formalist วิทยานิพนธ์ประกอบด้วยสองอ้างว่า .
1 คณิตศาสตร์บริสุทธิ์ สามารถแสดงเป็นระบบที่เป็นทางการ uninterpreted ซึ่งในความจริงทางคณิตศาสตร์แทนด้วยทฤษฎีบทอย่างเป็นทางการ .
2 ความปลอดภัยของระบบอย่างเป็นทางการเหล่านี้สามารถพบได้ในแง่ของเสรีภาพของพวกเขาจากความไม่สอดคล้องกัน โดยวิธีการของ อภิคณิตศาสตร์