所以这本《数学的逻辑》会从根本上让你知道数学不仅仅是工具，也不仅仅是枯燥的公式，更不是为了验证你是否聪明的道具