真理的概念在任何足够强大以包含算术的形式系统中都是不可定义的。
I'm drawn to characters who are at a crossroads.
The night is a great cathedral, but the stars are its windows.
数学家的模式，就像画家或诗人的模式一样，必须是美丽的。
你必须愿意为成为你想成为的人而牺牲你现在所拥有的。