Constructing Integers in Set Theory | Hacker News Reader