A Gateway to Abstract Mathematics