El principio de Hume puede ser enunciado formalmente en sistemas con lógica de segundo orden.