Теория множества и упорядочение элементов: основы математической логики