Displaying similar documents to “A system of axioms for Euclidean integration”