Л.Д. Беклемишев. Беседы об основаниях математики. Беседа 1