>>656
実数論を必要としないのなら松坂で十分。