符号逻辑适合于形式证明，但有时当你想让大众相信你的证明是正确的时，你必须诉诸符号