On Formally Undecidable Propositions of Principia Mathematica and Related System by Mathematics & Kurt Godel