Source: http://math.univ-lyon1.fr/~benzoni/MathIAnalyse/logique.pdf