Soyut cebir yöntemlerini kullanarak gerçek sayıları, özellikle de tümsayıları inceleyen uzbilim kuramı