コーシーは、無限小には定義を与えていない。