Such formal methods may help us sharpen our logic, but we almost never apply them in the real world.

• 这种正式的方法可能会帮助我们锻炼逻辑思维能力,但是我们基本上决不会将它们应用在实际的工作当中。