@clayote I believe Russell was a logical positivist (although I haven't read the chapter about him in this book I'm reading), and therefore maybe agreed with Gödel that at least *something* about maths was externally real, but he wanted to be more logically rigorous about our understanding of its foundations, hence the Principia