A Euclidean theory may be claimed t

A Euclidean theory may be claimed to be true; a quasi-empirical theory – at best – to be well-corroborated, but always conjectural. Also, in a Euclidean theory the true basic statements at the ‘top’ of the deductive system (usually called ‘axioms’) prove, as it were, the rest of the system; in a quasi-empirical theory the (true) basic statements are explained by the rest of the system. . . Mathematics is quasi-empirical
(Lakatos, 1978, pages 28-29&30)

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

ทฤษฎี Euclidean อาจอ้างว่า เป็นจริง ประจักษ์กึ่งทฤษฎี – ที่ดีที่สุด – เป็นห้อง corroborated แต่ conjectural เสมอ ยัง ทฤษฎี Euclidean งบพื้นฐานความจริงที่' 'ระบบ deductive (มักเรียกว่า "สัจพจน์") พิสูจน์ มัน were ส่วนเหลือของระบบ ในทฤษฎีกึ่งรวม คำสั่งพื้นฐาน (จริง) ที่อธิบาย โดยส่วนเหลือของระบบ คณิตศาสตร์เป็นกึ่งประจักษ์
(Lakatos, 1978 หน้า 28-29&30)

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

ทฤษฎียุคลิดอาจจะอ้างได้ว่าเป็นจริง ทฤษฎีเสมือนเชิงประจักษ์ - ที่ดีที่สุด - จะดียืนยัน แต่คาดเดาเสมอ นอกจากนี้ในทฤษฎียุคลิดงบพื้นฐานความจริงที่ 'top' ของระบบการอนุมาน (โดยปกติจะเรียกว่า 'หลักการ') พิสูจน์มันเป็นส่วนที่เหลือของระบบ; ในทฤษฎีเสมือนเชิงประจักษ์ (จริง) งบขั้นพื้นฐานได้รับการอธิบายโดยส่วนที่เหลือของระบบ . . คณิตศาสตร์เป็นเสมือนเชิงประจักษ์
(Lakatos 1978, หน้า 28-29 และ 30)

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

เป็นการใช้ทฤษฎีอาจจะอ้างว่าเป็นความจริง ; กึ่งเชิงประจักษ์ทฤษฎี–ที่ดีที่สุด–จะยืนยันได้ แต่ที่เกี่ยวกับการคาดเดา นอกจากนี้ ในทฤษฎีพื้นฐานที่ใช้จริงงบ ' ด้านบนของระบบนิรนัย ( มักจะเรียกว่า ' หลักการ ' ) พิสูจน์เปรียบเทียบกับส่วนที่เหลือของระบบ ในกึ่งเชิงประจักษ์ทฤษฎี ( จริง ) งบเบื้องต้นที่อธิบายโดยส่วนที่เหลือของระบบ . . . . . . .คณิตศาสตร์
( กึ่งเชิงประจักษ์ ลากาตอส , 2521 , หน้า 28-29 & 30 )