PA 위에서. 성립할거같은데 레퍼런스를 못찾겠네

굿스타인 정리나 히드라 게임 같은거 알아보고 개쩐다 싶어서 찾아보고 있음