column value
英文名稱 undecidability theorem
中文名稱 不可決策性定理