Source: https://www.math.univ-metz.fr/~chill/logique.pdf