A formal mathematical theory which introduces ``components at infinity'' by defining a new type of divisor class group of Integers of a Number Field. The divisor class group is called an ``arithmetic surface.''