Насколько я знаю, это не общепринятый термин. По крайней мере, я его сам придумал.
Мусатов Д. В., лекция по мат. логике, 2014, МФТИ