сколемовская константа

Skolem constant