Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

"This meant that no formal system, could prove by itself, that it could only produce true statements. "

I see this generalization often, that Godel showed that all formal systems share this restriction, but doesn't the formal system have to be at least be able to express the properties of integers?

Is the ability to formally express integers relatively a particularly demanding constraint on choice of axioms?




Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: