The development of formal systems has revolutionized our understanding of mathematics.

心理与物理之间的界限并不像我们通常认为的那样清晰。

我不迷信，但我有点小迷信。