1+1=11?1+1等於2，這個問題看似簡單卻又奇妙無比。在現代的精密科學中，特別在數學和數理邏輯中，廣泛地運用著公理法。什麼叫公理法呢？從某一科學的許多原理中，分出一部分最基本的概念和命題，對這些基本概念不下定義，而這一學科的所有其它概念都必須直接或間接由它們下定義；對這些基本命題（也叫公理）也不給予論證，而這一學科中的所有其它命題卻必須直接或間接由它們中推出。這樣構成的理論體系就叫公理體系，構成這種公理體系的方法就叫公理法。1+1=2就是數學當中的公理，在數學中是不需要證明的。又因為1+1=2是一切數學定理的基礎，所以它也是無法用數學的方法證明的。至於“1+1為什麼等於2？”作為一個問題，沒要求大家必須用數學的方法證明，其實只要說明為什麼1+1=2就可以了，可以說這是定義，也可以說這是公理。不過用反證法還是可以證明的：假設1+1不等於2，則數學就是一鍋粥，凡是用到數學的地方都是一鍋粥，人類社會就亂了套了，所以1+1必須等於2。1+1=2看似簡單，卻對於人類認識世界有非同尋常的意義。
1+1=11?1+1等於2，這個問題看似簡單卻又奇妙無比。在現代的精密科學中，特別在數學和數理邏輯中，廣泛地運用著公理法。什麼叫公理法呢？從某一科學的許多原理中，分出一部分最基本的概念和命題，對這些基本概念不下定義，而這一學科的所有其它概念都必須直接或間接由它們下定義；對這些基本命題（也叫公理）也不給予論證，而這一學科中的所有其它命題卻必須直接或間接由它們中推出。這樣構成的理論體系就叫公理體系，構成這種公理體系的方法就叫公理法。1+1=2就是數學當中的公理，在數學中是不需要證明的。又因為1+1=2是一切數學定理的基礎，所以它也是無法用數學的方法證明的。至於“1+1為什麼等於2？”作為一個問題，沒要求大家必須用數學的方法證明，其實只要說明為什麼1+1=2就可以了，可以說這是定義，也可以說這是公理。不過用反證法還是可以證明的：假設1+1不等於2，則數學就是一鍋粥，凡是用到數學的地方都是一鍋粥，人類社會就亂了套了，所以1+1必須等於2。1+1=2看似簡單，卻對於人類認識世界有非同尋常的意義。