DM.SNT: Set and Number Theory