(1898–1980), математик, логік, представник інтуїціонізму, розробник інтуїціоністської логіки; Нідерланди