Mathematicians have always worked with logic and symbols, but for centuries the underlying laws of logic were taken for granted, and never expressed symbolically.

• 数学家一直与逻辑和符号，但数百年来的基本法律逻辑被认为是理所当然的，从来没有表示象征。