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

I think that if you allow some axioms, you can describe it. But I'm not sure if it will be called complete.

I think because "(next axiom)" is not defined, it will make your language not mappable to integer numbers and you avoid Godel proof.




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: