О некоторых конструктивных аспектах математической логикидоклад на конференции