कुछ नियमों के माध्यम से शर्तों में हेरफेर करल गल हई, (-समतुल्यता, -कटौती, और -रूपांतरण), जे सिद्धांत के स्वयंसिद्ध हई और गणना के नियमों के रूप में व्याख्या करल जा सकलई हे|