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