Базисная система для интуиционистской теории множествтезисы доклада