ગણિત મૂળ બીજગણિત અને કલનથી આગળ વધી જાય છે, કારણ કે તે વધુ સાબિતીઓ હોવાનું વલણ ધરાવે છે, જેમ કે "ચાલો (x_n) કોચી શ્રેક હોવી જોઈએ.