The concept of truth is inseparable from the concept of freedom.
数学的统一性不是强加的,而是被发现的。