16.12 스콜렘 함수의 개념