[yablak]

Which is weird because he used the formalism of principia to actually state the theorem, or at least part of it

[grandempire]

Russel builds a logical system - it just can’t ground mathematics. Gödel’s paper is about the system in Russels book.