สารานุกรมออนไลน์ | Siam Wiki
ไม่เจอคำค้นที่ต้องการ
หน้าแรก
อนิยาม
หน้าแรก
อนิยาม
สำหรับวิชา
คณิตศาสตร์
ตรรกศาสตร์
และ
ระบบรูปนัย
อนิยาม
คือ
แนวคิด
ที่ไม่ได้นิยาม ที่สำคัญอนิยามไม่ได้นิยามโดยแนวคิดที่นิยามไว้ก่อนหน้า แต่เกิดจากแรงบันดาลใจโดยวิสาสะ โดยมากเกิดจาก
สหัชญาณ
และประสบการณ์ในชีวิตประจำวัน บทบาทของอนิยามใน
ทฤษฎีบทสัจพจน์
หรือ
ระบบรูปนัย
อื่นๆ เหมือนกันกับบทบาทของ
อนิยาม
อนิยามในวิชาทฤษฎีสัจพจน์ บางครั้งจะกล่าวว่า"ได้นิยาม"โดยอนิยามอย่างน้อยหนึ่งอนิยาม แต่อาจทำให้เข้าใจผิดได้ ระบบรูปนัยไม่สามารถกำจัดอนิยามทั้งหลายได้เพราะ
การนิยามถอยหลังอนันต์ครั้ง
อัลเฟรด ตาร์สกี
อธิบายบทบาทของอนิยามไว้ดังนี้:ความคิดรวบยอดพื้นฐานของเซตใน
ทฤษฎีเซตเชิงสัจพจน์
เป็นตัวอย่างของอนิยาม
มารี ไทล์
เขียน:มีหลักฐานแสดงว่าเธอยกคำพูดของ
เฟลิก เฮาส์ดอร์ฟฟ์
ว่า : "เซตสร้างขึ้นโดยจัดวัตถุเดี่ยวๆ รวมกันเป็นเซตทั้งเซต เซตเป็นความคิดแบบพหูพจน์เป็นหน่วยเดียว"เมื่อ
ระบบสัจพจน์
ระบบหนึ่งเริ่มกล่าวถึง
สัจพจน์
อนิยามอาจไม่ได้กล่าวถึงอย่างแจ่มแจ้ง ซูซาน ฮาก(1978) เขียนว่า "เซตของอนิยามบางครั้งกล่าวว่าให้นิยามโดยอ้อมของอนิยาม"
ตัวอย่าง
พบใน
เมนูนำทาง
อนิยาม
ดูเพิ่ม
อ้างอิง
ใกล้เคียง
อนิยาม
แหล่งที่มา
WikiPedia: อนิยาม
×