불완전성정리#662 Rank and Match History | Transcendence