> As a point of reference, MIT's capstone mathematical logic course[1] has a syllabus that requires at least as much mathematical maturity,

The textbooks they use in that course are written in modern notation and are accessible to a knowledgeable reader; neither can be said of the Principia Mathematica. The archaic syntax is a serious issue.