"::::::Kaikki tietysti tajuavat, että on olemassa toinenkin artikkeli otsikolla On Formally Undecidable Propositions of Principia Mathematica and Related Systems. Ehkä tämä kumppani voisi omaksua ""historian"" (mukaan lukien ""finitaaristen"" todistusten ongelma) ja ""jälkiseuraukset"" (välittömät jälkiseuraukset, en tiedä, mihin ""nykyajan"" jälkiseuraukset pitäisi sijoittaa) jne., kun taas tähän sivuun liittyvää artikkelia voitaisiin tiivistää niin, että siinä esitettäisiin vain teoreemojen selitykset. Yllä olevan kommenttini mukaisesti kehotan niitä, jotka ovat kiinnostuneita pääasiassa asioiden matemaattisesta puolesta (toisin kuin historiallisesta) ja jotka voivat lukea Kleenen ""seitsemän osan"" selityksen Kurt Godelin kokoomateosten niteessä I.

(Eri huomautus: ""Kiinalainen jäännösteoreema"" tulee esiin joissakin (mutta ei kaikissa) selityksissä. Tein haun artikkelistamme, enkä löytänyt mitään mainintaa ""kiinalaisesta"" tai ""jäännöksestä"". Mutta kun tein hakuja wikipediaan, löysin artikkelin Gödel numbering for sequences, joka sisältää yksityiskohtaisen keskustelun tästä aiheesta. Luulin, että hän vetosi aritmeettiseen perusteoriaan... Mitä on tekeillä? Olenko se vain minä, vai onko näiden erilaisten, mutta toisiinsa liittyvien artikkelien välillä vain vähän tai ei lainkaan koordinointia?). Bill    

"