Osservazioni sopra i fondamenti della matematica, 1956.