i cant answer the specific question, but as for xbox1x vs ps4pro.. the thing is, if you have a high end pc you have 90% of the xbox 1 "exclusives" already, where as a ps4 pro has an absolute ton of quality exclusives which will likely never come to PC.
to anyone who does not have a pc then i agree the xbox1x is an interesting proposition but for us, as a 2nd machine next to our pc, imo the ps4pro would be a no brainer out of the 2 (i am biased however as it is what i did ;) )
personally even tho i have a ps4pro, i am hanging fire, as have not given up on a pc release yet.
The last of us is outstanding btw and looks great with HDR..... the console cant really do 4k that well - as @digikid1 correctly states, however it has a middle ground setting which works well, its around QHD resolution with an "aimed" 60fps which it hits most of the time. this is what i use. (basically if naughtydog made it, it is worth owning imo, then throw in the shadow of colossus and the last guardian, horizon ZD, hell, i could go on but that is not really for this thread!)