Учебник КСЕ (Аруцев)

И в этом заключается глубокий научный смысл: согласно известной теореме Гёделя о неполноте аксиоматического описания, подобные тавтологические конструкции представляют собой неизбежную особенность любого конечного словаря.