完備性 - 他の言語