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

Hilbert's basis theorem is the big one, and the reason the axiom was invented. But you can get very far without it - you just have to be very careful about it, because the operation of choosing an arbitrary representative of each of many sets is so natural it can be hard to realize you've used the axiom.

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