It seems to me that there are statements about the world and our lives that have no need of formal proof procedures.

It seems to me that there are statements about the world and our lives that have no need of formal proof procedures.

在我看来，有些关于世界和我们生活的陈述不需要正式的证明程序。

-- William Boyd 博伊德