I wrote a blog report a number of years ago that discusses this in some detail. You may want to skip the stuff in the beginning with regard to the historical context of Principia Mathematica It really is obvious that $p in mathfrak p $ and $n in mathfrak p https://bihlmayermedia-bilder.com/1-advent/