અગાઉ, ઔપચારિક અને કુદરતી ભાષા સાથે ઉપયોગ કરવામાં આવે છે, પરંતુ વિષય અને ગાણિતિક તર્કનાં એક કડક લોજિકલ વિશ્લેષણ બનાવવા માટે જરૂર ધીમે ધીમે ગૂંચવણ સાથે, તે ભૂતકાળ ત્યજી દેવાનો નિર્ણય કરવામાં આવ્યો હતો.