선형 시간 논리에서 야블로의 역설 정리화하기

선형 시간 논리에서 특정 연산자는 고정점을 가지지 않음을 보여주는 것이 야블로의 역설의 핵심 내용이다.