https://filesoo.com/product/4490/on-formally-undecidable-propositions-of-principia-mathematica-and-related-systems