Математика — наука без предпосылок. Чтобы найти ее, мне не нужен ни Бог, как Кронекер, ни допущение особой способности нашего разума, созвучного принципу математической индукции, как Пуанкаре, ни первичная интуиция Брауэра, ни, наконец, как Рассел и Уайтхеда, аксиомы бесконечности, сводимости или полноты, которые на самом деле являются фактическими содержательными предположениями, которые не могут быть компенсированы доказательствами непротиворечивости.