An introduction to abstract mathematics