Петрополис (ленгвиздика)

Название Петропавловская крепость меня всегда смущало: почему Петропавловская, зачем Петропавловская? Строил крепость Пётр, откуда в названии взялся ещё и Павел... Официально крепость названа Петропавловской якобы только в 1917 году, а названа так по названию собора Петра и Павла, стоящего в центре.
Случайно обнаружил в музее истории Санкт-Петербурга лист вот с таким планом Петропавловской крепости, датируемый 1703 годом (годом, якобы, начала её строительства):

Петропавловская крепость здесь названа Петрополисом. Так, может и не было в ней изначально никакого Павла?
|
</> |