Неразрешимость финитарного семантического следованиятезисы доклада