column value
英文名稱 formal proof
中文名稱 形式證明;形式證法