眼前榕树已裂开（逻辑学名词）相容

　　配图灯谜，图只是装饰和说明谜面的，于猜谜无关。
在谜目后用鼠标拖动就会显示谜底
　　目（眼前），“木容”（榕树已裂开），组成“相容”。
图片来源：网络，摄于福建厦门鼓浪屿，网上幽魂

今日提示：希尔伯特出生纪念日（1862年1月23日）

相关资料：
　　希尔伯特纲领是二十世纪数学基础和数学哲学中一项影响深远的研究计划，简单来说，它试图使用有穷主义方法来证明无穷的理想数学的一致性。希尔伯特希望以此来一劳永逸的解决所有的数学基础问题。哥德尔不完全性定理的出现使得希尔伯特纲领无法按照原初的设想实现。但是随着之后证明论的发展，人们发现通过对希尔伯特原初方案进行某些方面的修改，仍然能够在一定程度上实现希尔伯特纲领的目标。这些修正版本的希尔伯特纲领在证明论中仍然在继续发展。

相关图片：希尔伯特