Muchos teoremas no lo hacen explícitamente, como es usual en el lenguaje matemático estándar, por ejemplo, el enunciado de que la función seno es una continua, o cualquier teorema escrito en la notación O.