更新时间：2025-05-12 18:02:36
封面
版权信息
文前
语法树 谨以此篇，纪念伟大的数理逻辑学家蒙塔古
١٢٣٤٥٦٧٨٩٠
可能世界 谨以此篇，纪念伟大的数理逻辑学家克里普克
实无穷 谨以此篇，纪念伟大的数理逻辑学家康托尔
形式国 谨以此篇，纪念伟大的数理逻辑学家希尔伯特
神谕 谨以此篇，纪念伟大的数理逻辑学家图灵
