Source: http://math.univ-lyon1.fr/~altinel/Master/M1Logique/notlar.pdf