We say that the model \(\mathcal{M}\) possesses _any_ knowledge regarding the set of questions \(\mathcal{Q}\) if the following holds:
모델 \(\mathcal{M}\)이 다음 조건을 만족할 경우, 질문 집합 \(\mathcal{Q}\)에 관한 _어떠한_ 지식을 가지고 있다고 말합니다:
다음이 성립하는 경우, 우리는 모델 \(mathcal{M}\)이 질문 집합 \(mathcal{Q}\)에 관한 _모든_ 지식을 가지고 있다고 말합니다: