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.
I do teach PM when I teach theory of computation, but largely to tell the story of how we discovered the limits to computation.