第二十七章 数学逻辑，推算未来