An Enquiry Concerning Human Understanding

by David Hume

Of the first kind are the sciences of Geometry, Algebra, and Arithmetic; and in short, every affirmation which is either intuitively or demonstratively certain.

relations of ideas can be proven by a specific set of steps. they hold true always.