આ પદ્ધતિ ઔપચારિક તર્કશાસ્ત્રના પર આધારિત છે.