Las fórmulas son de Gerhard Gentzen Recherches Sur La