解析学の公理ってあるんですか?
それとも公理無くて、あやふやな出発をする分野ですか?