我们从幼儿园开始接触数字时就知道，1+1=2。可是你有没有想过为什么1+1=2呢?真正的数学底层逻辑远没有你想象得那么简单，我们所有的数学结论除了公理和定义以外，全都是通过严格的逻辑推导证明出来的，没有任何例外。
1+1=2 可能是数学方程式的最基本形式。在整个人类智力范围内，它是如此的基础、广为人知和易于理解，以至于我们形容某件事比较容易时便会用1+1=2来形容。但如果有人问，为什么 1+1=2，你会怎么回答？
