satisfiable 예문

• Russell 's paradox, Finsler points out that one needs to distinguish between satisfiable and unsatisfiable circular definitions. Russell 's definition of the set of all sets which do not contain themselves is a non-satisfiable circular definition.
  러셀은 '한. 러셀'이 자신을 포함하지 않는 모든 집합의 집합의 정의를들 처리할 및 unsatisfiable 원형 정의를 구분할 필요를 역설들 Finsler 포인트가 아닌 원형의 정의를 처리할 수있습니다.