Well you are forgetting that GTAV sold 35-40 million on 360/ps3. i'm sure many of those fans didn't double dip, also RDR2 i's the first true next gen rock star in 5 years, it will sell a shit load of consoles. aside from that many people loved RDR, it sold like 15 million, so i'm sure it has it fans that will buy consoles for it as well. batman gave a huge boost to ps4 sales in june, and thats wasn't even a ps4 exclusive, so if spider tuns out to be great, expect a much bigger boost, and if it's bundled and has great advertising it will huge.
Yeah, Spiderman has a trailer with 30 milion views. Looking at the comments on this video it has an incredibly wide audience reach. I even saw some Japanese comments which never happens on a western game. Spiderman is the most popular superhero globally. There's no contest. And he's more marketable than Batman. People are going to be surprised when it sells 15 mil copies including bundles.