“an introduction to abstract mathematics”