不需要证明,这是两个公理.
公理是不加证明的定理.一般地讲,有些公理是无法证明的.因为数学问题是基于一些定义、公理上的,也就是事先默认一些结论成立,以此为基础证明出其他问题.