concept in set theory
The conversation starts in the journal — be the first to post.
In set theory, a code for a hereditarily countable set