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