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

Standard math is a subset of nonstandard, and you can prove the existence of NSA within ZFC, so they are exaxtly equivalent.


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

Search: