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