[grandempire]

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