Principe de Hume

Le principe de Hume ou HP (pour Hume's principle) — les termes ont été inventés par George Boolos — déclare que le nombre de " F " est égal au nombre de " G " si et seulement s'il y a une correspondance biunivoque (une bijection) entre les " F " et les " G ". Le principe de Hume peut être énoncée formellement dans des systèmes de logique de second ordre. Le principe de Hume est nommé en référence au philosophe écossais David Hume.

Le HP joue un rôle central dans la philosophie des mathématiques de Gottlob Frege. Frege montre que HP et les définitions appropriées des notions arithmétiques impliquent tous les axiomes de ce que nous appelons maintenant l'arithmétique du second ordre. Ce résultat, connu sous le nom de théorème de Frege, est le fondement d'une philosophie des mathématiques connue sous le nom néo-logicisme.