一、可验证性