hereditarity undecidable

Мат. наследственно неразрешимый