Hume, relation d'idées et faits
Les relations d'idées sont représentées comme des liens unissant une idée à une ou plusieurs autres tel que toute modification de la première entraîne une modification de la ou des autres idées.
Les sciences de la géométrie, de l'algèbre ou de l'arithmétique sont des sciences qui paraissent évidentes dans nos esprits, qui s'impose comme étant des choses certaines avec la vue par exemple. La proposition prise par Hume montre une relation entre les figures qui a été vérifiée et qui est devenue evidente donc certaine. Il utilise ensuite un exemple qui montre la relation entre ces nombres qui dans les cas présent, nous paraît toujours aussi évident. Ce que Hume veut montrer c'est que ces relations sont évidentes grâce à la pensée, c'est-à-dire l'intelligence car ces relations telles qu'elles sont présentées n'existent pas dans l'univers. Que ce soit des triangles ou des "7", ces symboles n'existent pas dans la Nature mais grâce à la pensée et donc à l'intelligence de l'Homme. Ces relations existent et nous sont évidentes malgrè le fait qu'elles ne dépendent pas des choses qui existent déjà dans l'univers. Euclide n'a eu besoin que de démontrer