Remix.run Logo
grandempire 20 hours ago

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