Terme weure gemanipuleerd aon de hand vaan bepaolde regels, (de -equivalensie, de -reduksie en de -conversie), waat axiome vaan de theorie zien en kinne were geïnterpreteerd es regels vaan berekening.