What Is An Abstract Number Theory