"Technique without vision is empty, vision without technique is blind."
The art of writing is the art of discovering what you believe.
The process of doing mathematics is more important than the result.
自守形式的研究不仅是一个技术课题，也是一个哲学课题。