长方形面积公式是否是作为公理出现?