>>68
1+1=2を「計算する」ことは誰にでも出来るけど、それを厳密に証明できる人は非常に少ない。