我们从幼儿园开始接触数字时就知道,1+1=2。可是你有没有想过为什么1+1=2呢?真正的数学底层逻辑远没有你想象得那么简单,我们所有的数学结论除了公理和定义以外,全都是通过严格的逻辑推导证明出来的,没有任何例外。