"Gödel suggests that within a rigidly logic system like that developed by Russell and Whitehead for arithmetic, it is possible to formulate proposals that are indecisive or indeterminate in the context of the system's assioms.
“Gödel dmostr che all'interno di un sistema rigidamente logico come quello che Russell e Whitehead avevano sviluppato per l'aritmetica, è possibile formulare proposizioni che sono indecidibili o indimostrabili nell'ambito degli assiomi del sistema.