14.2 六组公式的不完备