SMS: Канторовская теория множеств