Интуиционистское Арифметическое Исчисление

См. Интуиционизм.