해당 모형 내에서 참인게 의미론적으로도 참이면 건전한거에요