Cada teorema matemático la participación de este concepto no definido matemáticamente se pueden dar el siguiente formulario predictivo: Si lo hace y así, entonces tal y tal que va a suceder.