클레이니 고정점 정리 고정점 정리 클레이니 고정점 정리(Kleene's fixed-point theorem)는 완비 부분 순서 집합에서 스콧-연속 함수의 최소 고정점의 존재성을 보장하는 정리이다.