可能無限に制限する必要がある場合というと、
不完全性定理の証明のために、証明を形式化して自然数にコーディングするときくらいしかないんじゃないかな