实践验证解释定义(或凸版定义)