Number four abstract mathematics background