有形可检，有数可推解释说明

yǒu xíng kě jiǎn，yǒu shù kě tuī
推：推求。有形迹可检验，有数据可推求。