Конструктивизм (философия математики)

• Конструктивизм в математике требует доказательства существования математического объекта через конкретный пример. 
• Классическая математика использует закон исключенного третьего, который не всегда принимается конструктивистами. 
• Конструктивная математика основана на интуиционистской логике, которая не включает закон исключенного третьего. 
• Конструктивизм включает изучение конструктивных теорий множеств и теории топосов. 
• Конструктивизм часто отождествляется с интуиционизмом, но это не всегда так. 
• Интуиционизм утверждает, что основы математики лежат в интуиции математика, делая математику субъективной деятельностью. 
• Конструктивная математика использует интуиционистскую логику и аксиому выбора для доказательства существования математических объектов. 
• Конструктивная математика находит применение в типизированном лямбда-исчислении, теории топосов и категориальной логике.