Comment by pngwen

You might be interested in Kurt Goedel’s extended book review wherein he proves that Principia cannot do what it sets out to do, nor can any such system.

I do teach PM when I teach theory of computation, but largely to tell the story of how we discovered the limits to computation.