有形可检，有数可推 yǒu xíng kě jiǎn，yǒu shù kě tuī
成语解释：推：推求。有形迹可检验，有数据可推求。
常用程度：生僻
成语结构：复句式成语
感情色彩：中性词
语法用法：作宾语、定语；用于书面语。
产生年代：古代成语
典故出处：南朝·宋·祖冲之《辨戴法兴难新历》：“迟疾之率，非出神怪，有形可检，有数可推。”