text: Брауэр потребовал устранить из логики и математики все интуитивно сомнительные аспекты, произвёл соответствующую переоценку оснований и существенно ограничил математику и логику в нескольких направлениях.