Происхождение слова Петрозаводск

Петрозаво́дск народн. Петро́вское, карельск. Petroskoi, Петро́ський го́род, олонецк. (Кулик.). Получил название от Петровского (артиллерийского) завода, основанного Петром I в 1703 г.

Происхождение слова Петрозаводск в этимологическом онлайн-словаре Фасмера М.