不完全性定理はメモリが無限にある場合の話
なぜ無限かというと、有限の場合は自明だから
有限なら全部テストすればいいだけ