Что такое обы в метаматематике, математической логике и т.п.?