Comment by imglorp

TLDW: Godel's incompleteness theorem is at odds with the goals of Principia.