le of specifiion in mathematics