完備性要るの?