Foundations of Mathematics: Volume 1, Sets and Number Systems