  |
En este artículo se ha incorporado una traducción completa de «Gentzen's consistency proof», concretamente de esta versión del 29 de diciembre publicada bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional por editores de la Wikipedia en inglés. |