Add Set Theory entry