朝鲜王朝实录[正祖实录] · 總序

○大王諱祘，字亨運。英宗大王之孫、莊獻世子之子，母惠嬪洪氏。〈籍豐山領議政鳳漢女。〉以英宗命爲眞宗大王之子，母妃孝純王后趙氏。〈籍豐壤左議政豐陵府院君文命女。