Indéfini de Logique mathématique pour les étudiants en Mathématiques