아나디힐로의 경계 법칙: 러셀의 역설과 집합론적 재귀에 대한 형식적 해결 | Synapse