Terminami sie manipuluje w pewnych zasadach (-równoważność, -redukycjõ i -konwersjõ), kere som aksjōmatym teoryje i mogōm być interpretowane za zasady obliczeń.