18.11 기본 양상 공리 K