This rather innocuous-looking axiom

This rather innocuous-looking axiom about the extensions of predicates was shown by Bertrand Russell to lead to a contradiction. But many thought that Frege was onto something. Indeed, Russell was one of them. He, in collaboration with Whitehead, pushed the logicist program forward, but the further this program was developed, the less the basic machinery looked like it deserved to be called ‘logic’.

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

สัจพจน์นี้ค่อนข้าง innocuous ดูเกี่ยวกับส่วนขยายของเพรดิเคตแสดง โดยเบอร์ทรานด์รัสเซลล์เพื่อนำไปสู่ความขัดแย้ง แต่หลายคนคิดว่า Frege มีบนบางสิ่งบางอย่าง แน่นอน รัสเซลเป็นหนึ่งของพวกเขา เขา ร่วมกับ Whitehead ผลักดันโปรแกรม logicist ไปข้างหน้า แต่โปรแกรมนี้ถูกพัฒนาขึ้นต่อไป ยิ่งเครื่องจักรพื้นฐานที่ดูเหมือนมันสมควรจะเรียก 'ตรรกะ'

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

ความจริงนี้ค่อนข้างอันตรายที่มองเกี่ยวกับส่วนขยายของภาคก็แสดงให้เห็นโดยเบอร์ทรานด์รัสเซลจะนำไปสู่​​ความขัดแย้ง แต่หลายคนคิดว่าเป็น Frege บนบางสิ่งบางอย่าง อันที่จริง, รัสเซลเป็นหนึ่งของพวกเขา เขาร่วมมือกับเฮผลักดันโปรแกรม logicist ไปข้างหน้า แต่ต่อไปโปรแกรมนี้ได้รับการพัฒนาที่น้อยกว่าเครื่องจักรพื้นฐานดูเหมือนว่ามันสมควรที่จะต้องเรียกว่า 'ตรรกะ'

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

นี้ค่อนข้าง innocuous มองสัจพจน์เกี่ยวกับส่วนขยายของภาคแสดงคือแสดงโดยเบอร์ทรันด์ รัสเซลล์ ที่จะนำไปสู่ความขัดแย้ง แต่หลายคนคิดว่า frege ได้บางอย่าง แน่นอน รัสเซลก็เป็นหนึ่งในนั้น เขาร่วมมือกับสิวผลักโปรแกรม logicist ไปข้างหน้า แต่เพิ่มเติม โปรแกรมนี้ถูกพัฒนาขึ้นน้อยเครื่องจักรเบื้องต้นดูเหมือนสมควรที่จะเรียกว่า " ตรรกะ "