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

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