21.9 규칙의 표현력과 1차 술어 논리와의 관계