3 ms·

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