Ushbu referat nomanfiy butun sonlar ustida bajariladigan arifmetik amallarning xossalarini, xususan, qo'shish amalining assotsiativlik, kommutativlik va sonning nolga qo'shilishi xossalarini isbotlashga bag'ishlangan