Проблема ограничений области применимости искусственных языков (формализмов)