3+2=5 is an analytical proposition, because Kant thinks it is a comprehensive proposition, because18th century mathematics still relies on intuition, not axioms. Kant's example: the line segment between two points is the shortest. At that time, this mathematical proposition was intuitive (at least the curve situation could not be strictly proved by Euclid geometry), so Kant thought it was a comprehensive proposition. However, after axiomatic geometry, the shortest line segment between two points can be strictly proved by calculus, which is undoubtedly an analytical proposition. Similarly, other mathematical propositions are provable after axiomatic mathematics, so they are also analytical propositions.