Source: https://girard.perso.math.cnrs.fr/godel.pdf