有形可檢，有數可推

南朝·宋·祖沖之《辨戴法興難新曆》：“遲疾之率，非出神怪，有形可檢，有數可推。”

有形可檢，有數可推字典分解

有形的解釋 [tangible;visible] 有一定的形體或形式有形資產

也學習下：有志無時【歷史典故】

時：機遇。有志向抱負而不逢機遇。《後漢書．趙岐傳》：“（岐）曰：‘可立一員石於吾墓前，刻之曰：漢有逸人，姓趙名岐，有志無時，命也奈何！’” 並列 有抱負卻時運不濟。《後漢書·趙岐傳》：“漢有逸人，姓趙名嘉。～，命也奈何!”△貶義。用於生不逢時而有志難酬的人。→有才無命 有志難酬 壯志未酬 ↔有志竟成