Интеллектуализация математической логикистатья