Higher mathematics can prove arithm

Higher mathematics can prove arithmetical sentences, such as consistency statements, that are beyond the reach of Peano Arithmetic.

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

คณิตศาสตร์ที่สูงขึ้นสามารถพิสูจน์ประโยค arithmetical เช่นความสอดคล้องของงบ ที่ไกลเกินเอื้อม Peano เลขคณิต

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

คณิตศาสตร์ที่สูงขึ้นสามารถพิสูจน์ประโยคคณิตศาสตร์เช่นงบความมั่นคงที่อยู่นอกเหนือการเข้าถึงของอาโน่เลขคณิต

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

คณิตศาสตร์ที่สูงขึ้นสามารถพิสูจน์ประโยคคณิตศาสตร์ เช่นงบความมั่นคงที่เกินเอื้อมของเลขคณิตเปอาโน .