Словарь по логике

интуиционизм
Направление в обосновании математики. Родоначальник - Брауэр (см.). Другие представители: Гейтинг (см.).

© Автор статьи.