There is no U in ZF so I really don't understand what you are saying. | Hacker News

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

login

defen on July 31, 2015 | parent | context | favorite | on: Set Theory and Foundations of Mathematics

There is no U in ZF so I really don't understand what you are saying.

Shaniqua on July 31, 2015 [–]

You can call U anything you want. It's by axiom schema of specification: for any set A, there some set B with a set C in B iff C in A.

Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact