TY - RPRT TI - Axiomatic Differential Geometry I-1 AU - Hirokazu Nishimura PY - 2012 UR - https://arxiv.org/abs/1203.3911 ID - 1203.3911 ER -