French Théorème de Lindström Cited by user Fschwarzentruber on 04 Jun 2016 En logique mathématique, le théorème de Lindström (publié en 1969 par le logicien suédois Per Lindström) caractérise la logique du premier ordre comme suit : en gros, il…