I termini i xe manipołai co serte regołe (l’-equivałensa, ła -ridusión, e ła -conversion), che łe xe i asiomi deła teoria e i poł esar interpretai come regołe de computasión.