V-реализуемость и базисная логикадоклад на конференции