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