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