Introduction à la logique mathématique/Référents