વચ્ચે તેમને મોટે ભાગે અલગ કરવામાં આવે છે ઔપચારિકતા, અનુમાનિત-આનુમાનિક અને સ્વતઃસિદ્ધ પદ્ધતિઓ.