English: So, proof procedures are basically mechanism for doing achieving this mechanically producing new form list or mechanically testing whether the given formula can be produce from a given set up formulas and arriving at alpha.
Telugu: కాబట్టి, రుజువు విధానాలు ప్రాథమికంగా ఈ క్రొత్త ఫారమ్ జాబితాను సాధించడానికి లేదా ఇచ్చిన ఫార్ములాను ఇచ్చిన సెట్ అప్ (setup) చేసిన సూత్రాల నుండి ఉత్పత్తి చేయవచ్చో మరియు α వద్దకు రావడానికి యాంత్రికంగా పరీక్షించడానికి ఇది ఒక యంత్రాంగం.