સૂત્રોની વિશિષ્ટ ભાષા તાર્કિક અને પર્યાપ્ત રીતે પુરાવાઓનું માળખું વર્ણન કરી શકે છે અને સખત અને ચોક્કસ સિદ્ધાંતનું નિર્માણ કરી શકે છે, તેના એક્સ્ટેંશનમાં ચુકાદાઓનો વર્ણન લાગુ કરી શકે છે - નિષ્કર્ષનું વર્ણન.