公理之类的东西是无法证明的吗?象1+1=2之类的是公理吗?