白占边上有变化（逻辑学名词）力迫

　　配图灯谜，图只是装饰和说明谜面的，于猜谜无关。
在谜目后用鼠标拖动就会显示谜底
　　“白” “边”变化成“力迫”。
图片来源：网络，棋谱

今日提示：吴清源逝世纪念日（2014年11月30日）

相关资料：
　　力迫法是公理集合论研究中构造扩充模型的一种重要方法，科恩运用力迫法证明选择公理和连续统假设的相对独立性，接着人们利用力迫法证明了一大批重要的数学命题的协调性和独立性问题。1965年沙拉维和斯考特等人又把这一方法和布尔值模型方法相结合获得力迫法的较为方便的变形。

相关链接：配图灯谜826——边子变化一力辽