Comment by yablak
10 months ago
Which is weird because he used the formalism of principia to actually state the theorem, or at least part of it
10 months ago
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.