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.[1]
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.
