of course everyone realizes that there's another article titled on formally undecidable propositions of principia mathematica and related systems perhaps this companion could absorb the history including the problem of finitary proofs and the aftermath the immediate aftermath am unclear where the contemporary aftermath should go etc while the article associated with this page could be tightened to present explications of the theorems only per my comment above i encourage those who are interested mainly in the mathematical end of things as opposed to the historical and can lay their hands on it read kleene's seven part explication in volume i of kurt godel collected works on different note the chinese remainder theorem comes up in some but not all of the explications i did a search of our article and found no mention of chinese or remainder but when i searched wikipedia i discovered an article g del numbering for sequences that contains a detailed discussion of this topic and here i thought he was relying on the fundamental theorem of arithmetic what's going on and is it just me or is there little or no coordination between these various but associated articles bill