  |
En este artículo se ha incorporado una traducción de «On Formally Undecidable Propositions of Principia Mathematica and Related Systems», concretamente de esta versión del 20 de enero de 2017 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. |