“The idea that all systems are rigidly logic as Russell and Whitehead have been sacked for arithmetic is possible by formulating proposals that are indecidible or incompatible with the system’s objectives.
“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.