科学方法论中所说的可检验性是指一个陈述或其检验蕴涵( )