Plusieurs problèmes de logique mathématique