Tanım

Tanım, bir terimin (bir kelime, ifade veya diğer semboller kümesi) anlamının bir ifadesidir. Tanımlar iki büyük kategoriye ayrılabilir: yoğunluklu tanımlar (bir terimin anlamını vermeye çalışır) ve uzantısal tanımlar (bir terimin tanımladığı nesneleri listelemeye çalışır). Tanımların bir diğer önemli kategorisi, örneklere işaret ederek bir terimin anlamını ileten gösterici tanımlar sınıfıdır. Bir terimin birçok farklı anlamı ve çoklu anlamları olabilir ve bu nedenle birden fazla tanım gerektirebilir.

Bir tanım, bir kelimenin anlamını diğer kelimeler kullanarak belirtir. Bu bazen zorlayıcıdır. Yaygın sözlükler sözcüksel betimleyici tanımlar içerir, ancak farklı tanım türleri vardır - hepsinin farklı amaçları ve odakları vardır.

Matematikte, bir tanım, matematiksel terimin ne olduğu ve ne olmadığını açıkça nitelendiren bir koşulu tanımlayarak yeni bir terime kesin bir anlam vermek için kullanılır. Tanımlar ve aksiyomlar, tüm modern matematiğin inşa edileceği temeli oluşturur.