Логика не оставляет нам выбора. В этом смысле математика всегда включает в себя как изобретение, так и открытие: мы изобретаем концепции, но обнаруживаем их последствия. В математике наша свобода заключается в вопросах, которые мы задаем, и в том, как мы их преследуем, но не в ответах, ожидающих нас.