4.3 完备性