문장집합 S가 만족가능하다 iff S의 모든 유한 부분집합이 만족가능하다

로 아는데, 여기서 S의 유한 부분집합을 만족시키는 모델이랑 S를 만족시키는 모델이랑 다를 수 있는 것 같기도 해서요,

S의 모든 문장들이 모델 M에서 참이다 iff S의 임의의 유한 부분집합의 모든 문장들이 모델 M에서 참이다

로 바꿀 수가 있나요?