Source: https://webusers.imj-prg.fr/~huayi.chen/Enseignement/ParisVIII/2007_2008/logique.pdf