公理_0101 公理 名 经长期实践检验无需证明的命题。