પ્રથમ શુદ્ધ ઔપચારિક ગાણિતિક માંથી વર્ણવવામાં આવી હતી