Logique (mathématiques)/Référents