围棋必胜法的数理逻辑观照

用一阶谓词逻辑的工具证明，那种有两方参与，根据规则在有限步内能确定胜负的游戏，从理论上说，存在必胜的方法。这说明，数理逻辑的方法可以有广泛的运用，它对于日常思维同样有重要的价值。