Skolem関数
ただし$ n = 0のとき特別にSkolem定数と呼ぶこともある