有形可检，有数可推 yǒu xíng kě jiǎn，yǒu shù kě tuī 拼音缩写:yxkjyskt · 用法:作宾语、定语；用于书面语 释义推：推求。有形迹可检验，有数据可推求 出处 迟疾之率，非出神怪，有形可检，有数可推。 —— 南朝·宋·祖冲之《辨戴法兴难新历》