column value
英文名稱 proof theory
中文名稱 證明論