天文学哲学家学算术最重要的用处是能找到一