tokens: Ciò tenta di rispondere ad una domanda che ha tormentato i filosofi della matematica da quando Bertrand Russell ed Alfred North Whitehead fallirono nell' intento di radicare l' aritmetica nella teoria degli insiemi e nella logica formale , nel 1912 .