1華里等於0.5公里。
長度單位但古代的裏和現在的里長度有不同。周制以八尺爲一步，秦制以六尺爲一步，300步爲一里。古代的一尺相當於現代的0.231米，周秦時期的一里也就相當於現代的415米左右。清光緒年間再次制定度量衡，以五尺爲一步，兩步爲一丈，180丈爲一里，一尺相當於現代的0.32米，一里就等於576米。
公理是一個漢語詞彙，是指依據人類理性的不證自明的基本事實，經過人類長期反覆實踐的考驗，不需要再加證明的基本命題。在數學中，公理這一詞被用於兩種相關但相異的意思之下――邏輯公理和非邏輯公理。在這兩種意義之下，公理都是用來推導其他命題的起點。和定理不同，一個公理（除非有冗餘的）不能被其他公理推導出來，否則它就不是起點本身，而是能夠從起點得出的某種結果―可以乾脆被歸爲定理了。
