I don't like how they give and example of a geometric axiom and then give a number theory result. This makes it seem that the number theory result follows from the geometric axions.
> I don't like how they give and example of a geometric axiom and then give a number theory result. This makes it seem that the number theory result follows from the geometric axions.
This isn't some weird gloss on their part; there are number-theory results in Euclid's Elements, even if you and I would nowadays think of them as belonging to a different discipline.
