Hume's principle appears in Frege's "Foundations of Arithmetic" (§73), which quotes from Part III of Book I of David Hume's "A Treatise of Human Nature" (1740). Hume there sets out seven fundamental relations between ideas. Concerning one of these, proportion in quantity or number, Hume argues that our reasoning about proportion in quantity, as represented by geometry, can never achieve "perfect precision and exactness", since its principles are derived from sense-appearance. He contrasts this with reasoning about number or arithmetic, in which such a precision "can" be attained: