Bu kuram (İngilizce adıyla ‘redundance) için Türkçede “fazlalık’ ve “taşırdık” adları da kullanılmıştır. Frank Ramsey ve Peter Strawson gibi 20. yüzyıl düşünürleri tarafından savunulmuş olan gereksizlik kuramının diğer kuramlardan en büyük farkı, doğru konusunda yeni bir seçenek sunmaktansa, doğrunun “gereksiz” bir niteleme olduğunda ısrar etmesidir.