toplama

• sayilarin l ile, bitisin de # ile gosterildigi unary bir sistem dusunelim. a ve b 0'a buyuk esit herhangi bir tamsayida l'in yan yana yazilimini ifade etsinler. bu sistem uzerinde toplama:
  
  a# + # = a#
  a# + bl# = al# + b#
  
  seklinde tanimlanabilir. yalniz simdiden uyarayim, bu sekilde tanimlanmissa muhtemelen sonradan her iki tamsayinin toplanmasinin bir ve sadece bir, sonlu islemde hesaplanabilir sonucunun oldugunun ispatlanmasi istenilecektir.