Fundamentals of contemporary set theory