તે બીજગણિતથી અલગ છે જેમાં એક લોજિકલ માળખું વિકસે છે જ્યાં ગાણિતિક સંબંધો સાબિત થાય છે અને લાગુ થાય છે.