индуктивная общезначимость

Мат. inductive validity