Principia Mathematica-ийн эцсийн бодит өв нь холимог юм. 1931 оны Курт Годелийн бүрэн бус байдлын теорем нь математикийг багтаахын тулд санал болгож буй аливаа аксиом болон дүгнэлтийн дүрмийн хувьд үнэн хэрэгтээ тэдгээрээс гаргаж авах боломжгүй математикийн зарим үнэн байдаг тул Принсипиа математик хэзээ ч зорилгодоо хүрч чадахгүй гэдгийг баттай нотолсон гэдгийг нийтээр хүлээн зөвшөөрдөг. Гэсэн хэдий ч Уайтхед, Рассел нарын номгүйгээр Годел ийм дүгнэлтэд хүрч чадахгүй байсан. Ийм байдлаар Principia Mathematica-ийн өвийг өөрийн тодорхойлсон зорилгодоо хүрэх боломжийг үгүйсгэх гол үүрэг гэж тодорхойлж болно. Гэхдээ энэ нь зарим талаараа инээдтэй өв залгамжлалаас гадна орчин үеийн математик логикийг сурталчилж, логик, танин мэдэхүй, метафизикийн хооронд чухал холболтыг татсан юм.
1931 оны бүрэн бус байдлын теоремыг хэн нээсэн бэ?
Курт Годел