Constructing Integers in Set Theory | Dark Hacker News