Tính đầy đủ (lý thuyế thứ tự)