摘要：哥德尔及后来学者发现的独立性现象是当代数学哲学讨论无法回避的。哥德尔纲领是作为实在论者的哥德尔对独立性现象的回应,体现了对理性的乐观态度。在本文中,作者试图按照乐观的程度,把哥德尔纲领细分为不同的版本。武丁计划被认为是当代集合论研究中对哥德尔纲领最忠实的实践。本文将在上述区分的基础上更清晰地定位武丁计划,并探讨其可能的哲学后承。

关键词：乐观的理性主义;哥德尔纲领;武丁计划