完备性法则指出一个系统必须具备（）、（）、（）、（）四部分。