좋은 레마 하나가 천 개의 정리보다 낫다 (2007) | Hacker News

해커 뉴스 게시글은 정리(lemma)가 넓은 공리보다 더 유용할 수 있다고 말하며, 이유는 증명에 더 쉽게 적용되기 때문이라고 주장한다.

Zorn의 보조정리와 선택공리를 비교하며, 같은 원리를 다시 표현하면 더 실행 가능한 도구가 될 수 있음을 보여준다.

이 논지는 수학을 넘어 일반적인 사고에도 적용되며, 작지만 실용적인 아이디어가 큰 가치를 낼 수 있다고 강조한다.

글은 이를 뒷받침하기 위해 Stein의 법칙과 Davies의 따름정리를 함께 인용한다.