Поиск новых способов ограничения математических рассуждений

«Диагональный аргумент и бесконечные множества» + «Тонкости бесконечностей. Ответ математика на статью Лекса Кравецкого «Диагональный аргумент и бесконечные множества»» + «Диагональный контраргумент. Комментарий к размышлениям Лекса Кравецкого о бесконечности в математике» + «Наиболее частая ошибка в «доказательстве от противного»» (+ обсуждение с участием профессионала, указывающего на конкретный и работоспособный способ проверки теорий) + «Ультраконструктивная математика (со ссылкой в комментариях на не вполне цензурную статью «Общая семантика»).