記述集合論の研究者たちは、無限というニッチな数学問題がアルゴリズムという具体的な言語で書き換えられる事実を証明した。