column value
英文名稱 inductive assumption
中文名稱 歸納前提