ผลต่างระหว่างรุ่นของ "ผู้ใช้:ฉัตรมงคล ปิ่นทอง/กระบะทราย"

เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
แปลเพิ่ม
แปลเพิ่ม
บรรทัด 7:
 
[[อัลเฟรด ตาร์สกี]]อธิบายบทบาทของอนิยามไว้ดังนี้:
:เมื่อเราตั้งกฎอย่างหนึ่ง เราแยกแยะชุดของนิยามมาชุดเล็กๆ นิยามชุดนี้เราสามารถเข้าใจได้ทันที และเราเรียกการแสดงนี้เราเรียกว่า '''ศัพท์พื้นฐาน''' หรือ '''อนิยาม''' และเรานำศัพท์เหล่านี้มาใช้งานโดยไม่ทราบความหมาย At the same time we adopt the principleในขณะเดียวกันเรานำหลักการนี้มาใช้: not to employ any of the other expressions of the discipline under consideration, unless its meaning has first been determined with the help of primitive terms and of such expressions of the discipline whose meanings have been explained previously. The sentence which determines the meaning of a term in thisจะไม่ใช้ศัพท์ใดๆ wayในกฎนี้มาพิจารณา isเว้นแต่ความหมายได้กำหนดโดยอนิยามหรือศัพท์ใดๆ calledที่อธิบายความหมายไว้ก่อนหน้า aประโยคที่ตัดสินความหมายของศัพท์ด้วยวิธีนี้เรียก DEFINITION,'''นิยาม'''...
 
In [[axiomatic set theory]] the fundamental concept of ''set'' is an example of a primitive notion. As [[Mary Tiles]] wrote: