이 논문은 정규 표현식에 고정점을 추가한 표기법을 사용하여 (ω-)문맥-자유 언어의 증명 이론을 연구합니다. 저자들은 비-웰-파운디드 증명의 건전성과 완전성을 보이고, 이를 통해 (ω-)문맥-자유 언어의 등식 이론에 대한 무한 공리화를 복구합니다.