0015132人目の素数さん垢版 | 大砲2016/01/05(火) 00:49:27.50ID:L9jwu14Q 可能無限に制限する必要がある場合というと、 不完全性定理の証明のために、証明を形式化して自然数にコーディングするときくらいしかないんじゃないかな