The commutativity and associativity of real addition are immediate; defining the real number 0 to be the set of negative rationals, it is easily seen to be the additive identity.
Əmilahawan əd sirtayan wən asiwid itawanhayan eqalan agudendǎɣ; dǎɣ aliɣi ən amaɗin itawanhayan 0 sund asirtay rationneltan wi ifnaznen, hanayan nariqisan eqalan atiwasaknan ən təwaƭ.