Def/Language of Set Theory 1