The development of formal systems has revolutionized our understanding of mathematics.
In mathematics, you don't understand things. You just get used to them.
出自先秦《荀子·儒效》。对于所知道的东西就说知道，不知道的就说不知道；这样，对内是不欺骗自己的良心，对外是不欺骗他人。说明为人应当诚实的道理。
The night does not hide the world; it reveals another one.
