Множества, логика, аксиоматические теории