Set Theory on the Tech Tree