“La matematica pura consiste solamente di asserzioni del genere che, se una proposizione così e così è vera di una qualunque cosa, allora la proposizione così e cosà è vera di quella stessa cosa.”