In contexts where the notion of nat

In contexts where the notion of natural number sits logically prior to any notion of set, one can define a set S as finite if S admits a bijection to some set of natural numbers of the form {x|x

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

ในบริบทที่แนวคิดของจำนวนธรรมชาติอยู่ทางตรรกะก่อนความชุด หนึ่งสามารถกำหนดชุด S เป็นจำกัด S ยอมรับ bijection เป็นบางชุดของจำนวนธรรมชาติ {x|x แบบฟอร์มเป็นเรื่องน่าสนใจ คุณสมบัติต่าง ๆ ที่ยึดชุดจำกัดในชุดทั้งหมดในทฤษฎี ZFC เปิดออก inequivalent ตรรกะในระบบแข็งแกร่งเช่น ZF หรือทฤษฎีชุด intuitionistic คุณลักษณะข้อกำหนดสองจึงในวรรณคดี หนึ่งจากริชาร์ด Dedekind อื่น ๆ เพื่อ Kazimierz Kuratowski (ของ Kuratowski เป็นคำนิยามที่ใช้บริการ)

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

ในบริบทที่ความคิดของจำนวนธรรมชาตินั่งเหตุผลก่อนที่จะมีความคิดของการตั้งค่าใด ๆ หนึ่งสามารถกำหนดชุด S เป็นแน่นอนถ้า S ยอมรับ bijection บางชุดของตัวเลขตามธรรมชาติของรูปแบบ {x | x
ที่น่าสนใจคุณสมบัติต่างๆที่ออกมาชุดเดียวแน่นอนในหมู่ทุกชุดในทฤษฎี ZFC เปิดออกมีเหตุผล inequivalent ในระบบการปรับตัวลดลงเช่น ZF หรือทฤษฎีชุด intuitionistic สองคำจำกัดความคุณลักษณะเด่นในวรรณคดีหนึ่งเนื่องจากริชาร์ด Dedekind, อื่น ๆ ที่จะ Kazimierz Kuratowski (Kuratowski เป็นคำนิยามที่ใช้ข้างต้น.)

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

ในบริบทที่ความคิดของจำนวนธรรมชาติอยู่เหตุผลก่อนที่จะมีความคิดชุดหนึ่งสามารถกำหนดชุดของคุณเป็นวิธีถ้าเป็นรับไบเจกชันบางชุดของตัวเลขที่เป็นธรรมชาติของแบบฟอร์ม { x | x < N } นักคณิตศาสตร์มากขึ้นโดยทั่วไปเลือกที่จะพื้นช่องหมายเลขในทฤษฎีเซต ตัวอย่างเช่นพวกเขาอาจจะแบบธรรมชาติโดยคำสั่งประเภทจำกัดก็สั่งชุดวิธีการดังกล่าวต้องใช้โครงสร้างคำนิยามของการเล่นที่ไม่ได้ขึ้นอยู่กับธรรมชาติ

น่าสนใจ คุณสมบัติต่าง ๆ ที่เดี่ยวออกมีชุดของชุดทั้งหมดในทฤษฎี ZFC ออกมาในเชิงตรรกะ inequivalent ในระบบอ่อนแอเช่น ZF หรือ intuitionistic กำหนดทฤษฎี สองนิยามคุณลักษณะเด่นชัดในวรรณคดี เนื่องจากริชาร์ดเดเดคินด์ ,อื่นๆคาซิเมียร์ซ kuratowski . ( kuratowski คือนิยามที่ใช้ข้างต้น )