完善群组的逻辑完备性