Return to Article Details The Consistency of Arithmetic Download Download PDF