Hacker News new | past | comments | ask | show | jobs | submit login

You don't at all assume a logical framework to be consistent when "using" it, ie. considering the theorems that follow from it and its properties.



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

Search: