You can call U anything you want. It's by axiom schema of specification: for any... | Hacker News

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

login

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

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.

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