Dokaz Godelovog teorema nepotpunosti unutar PA

[anatomik]

da li je godelov teorem nepotpunosti dokazan unutar teorije PA?

[luka_m]

Da, čak nije potreban niti cijeli PA: http://mathoverflow.net/a/118189

Ovo Gödel-Rosser se odnosi na danas uobičajenu sintaktičku verziju teorema, koja se od izvornog teorema razlikuje oslabljujući pretpostavke (ali sa istom konkluzijom), i od nekih internetskih "semantičkih" verzija po tome što ne spominje istinitost u dokazu (ali argument o odnosu istine i dokazivosti se može naknado dobiti iz sintaktičke verzije).

[anatomik]

fala puno na odgovoru, pogledat ću...