문제정의를 과연 연역적으로 할 수 있을까?