Den större eller mindre efullständighel,