구속 변항 (bound variable) 어떤 한량적 정식에 있는 한 변항이 구속되어 있다고 말하는 것은,…