metamathematical operation

Мат. метаматематическая операция