Конструкции математического ума одновременно свободны и необходимы. Индивидуальный математик может свободно определять свои представления и устанавливать свои аксиомы, как ему угодно. Но вопрос в том, заинтересован ли он своего собратья -математика в конструкциях своего воображения. Мы не можем помочь в том, что некоторые математические структуры, которые развивались в результате объединенных усилий математического сообщества, несут марку необходимости, не затронутые несчастными случаями их исторического рождения.