Foundation of Abstract Mathematics (International Series in Pure and Applied Mathematics)