Building the Signature of Set Theory Using the MathSem Program. - Andrey Luxemburg (CoRR, 2016)