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