This artifice amounts to an adrniss

This artifice amounts to an adrnission that mathematics is anhypothetico-deductive system, in which the consequences of assumed axiom sets are explored, without asserting their necessary truth. Unfortunately, this device also leads to failure, because not all mathematical truths, such as ‘Peano arithmetic is consistent,’ can be expressed in this way as implication statements, as Machover(1983) argues.

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

ยอดเงินนี้ลูก adrnission การคณิตศาสตร์ที่เป็นระบบ anhypothetico deductive ซึ่งผลชุดสัจพจน์สันนิษฐานมีอุดม โดยกรรมสิทธิ์ของความจริงที่จำเป็น อับ อุปกรณ์นี้ยังนำไปสู่ความล้มเหลว เนื่องจากไม่จริงทางคณิตศาสตร์ เช่น' Peano คณิตศาสตร์สอดคล้อง สามารถแสดงในลักษณะนี้เป็นปริยายงบ เป็น Machover(1983) จน

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

อุบายจำนวนนี้ adrnission ว่าคณิตศาสตร์เป็น anhypothetico-อนุมานระบบซึ่งผลของการสันนิษฐานว่าชุดความจริงมีการสำรวจโดยไม่ต้องเข้าไปยุ่งเกี่ยวกับความจริงที่จำเป็นของพวกเขา แต่น่าเสียดายที่อุปกรณ์นี้ยังนำไปสู่​​ความล้มเหลวเพราะไม่ได้ความจริงทางคณิตศาสตร์เช่น 'อาโน่คณิตศาสตร์มีความสอดคล้อง' สามารถแสดงออกในทางที่เป็นงบความหมายนี้เป็น Machover (1983) ระบุว่า

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

แง่งอนจํานวนนี้มี adrnission ว่าคณิตศาสตร์เป็นระบบนิรนัย anhypothetico ซึ่งในผลของถือว่าชุดสัจพจน์มีการสํารวจโดยไม่ต้องยืนยันความจริงที่จำเป็นของพวกเขา แต่น่าเสียดายที่อุปกรณ์นี้ยังนำไปสู่ความล้มเหลว เพราะไม่ใช่ความจริง เช่น คณิตศาสตร์ , เลขคณิตเปอาโนส ' ' สามารถแสดงในลักษณะนี้โดยนัยงบเป็น machover ( 1983 ) ระบุ .